Record current git revision in www/head

type: documentation
casey · Apr 8, 2020 · 0469f7f · 0469f7f
1 parent 972a1ec
commit 0469f7f
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -73,13 +73,16 @@ jobs:
         mdbook-version: latest
     - name: Build Book
       run: mdbook build book --dest-dir ../www/book
-    - name: Deploy Book
+    - name: Record Git Revision
       if: github.ref == 'refs/heads/master'
+      run: git rev-parse --verify HEAD > www/head
+    - name: Deploy Pages
       uses: peaceiris/actions-gh-pages@v3
+      if: github.ref == 'refs/heads/master'
       with:
-        github_token:   ${{secrets.GITHUB_TOKEN}}
+        github_token: ${{secrets.GITHUB_TOKEN}}
         publish_branch: gh-pages
-        publish_dir:    ./www
+        publish_dir: ./www
     - name: Package
       id: package
       if: startsWith(github.ref, 'refs/tags/v')