diff options
| -rw-r--r-- | .github/workflows/docs.yml | 8 | ||||
| -rw-r--r-- | docs/index.md (renamed from docs/Home.md) | 0 |
2 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: diff --git a/docs/Home.md b/docs/index.md index 1e63fec2..1e63fec2 100644 --- a/docs/Home.md +++ b/docs/index.md |