Publish material as a release

fifth-postulate · Sep 28, 2023 · 78176bd · 78176bd
1 parent ea7f8d7
commit 78176bd
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/publish-material.yaml b/.github/workflows/publish-material.yaml
@@ -0,0 +1,20 @@
+name: Publish Workshop Material
+on:
+  push:
+    branches:
+      - main
+jobs:
+  create-archive:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Setup mdBook
+        uses: peaceiris/actions-mdbook@v1
+      - name: Build artifact
+        run: make all
+      - name: Create release
+        uses: marvinpinto/action-automatic-releases@latest
+        with:
+          repo_token: ${{ secrets.GITHUB_TOKEN }}
+          automatic_release_tag: latest
+          files: workshop-material.tar.gz