aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/gh-pages.yml (renamed from .github/workflows/admitted.yml)9
-rw-r--r--docs/index.md1
2 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/admitted.yml b/.github/workflows/gh-pages.yml
index 20f2df8..52a9b32 100644
--- a/.github/workflows/admitted.yml
+++ b/.github/workflows/gh-pages.yml
@@ -24,8 +24,11 @@ jobs:
# Runs a single command using the runners shell
- name: Generate Admitted icon
- run: python3 scripts/statistics.py src
+ run: python3 scripts/statistics.py src && mkdir -p docs/assets && mv admitted.svg docs/assets/.
- - uses: actions/upload-artifact@v2
+ - name: Deploy gh-pages
+ uses: peaceiris/actions-gh-pages@v3
with:
- path: admitted.svg
+ github_token: ${{ secrets.GITHUB_TOKEN }}
+ publish_dir: ./docs
+ enable_jekyll: true
diff --git a/docs/index.md b/docs/index.md
new file mode 100644
index 0000000..2c7417c
--- /dev/null
+++ b/docs/index.md
@@ -0,0 +1 @@
+# VeriCert