diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/docs.yml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 99442d9a..a5606ef7 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,10 +1,4 @@ -# This workflow uses actions that are not certified by GitHub. -# They are provided by a third-party and are governed by -# separate terms of service, privacy policy, and support -# documentation. - -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll site to Pages +name: Build documentation on: push: |