deploy static binary to github pages

Author: mikeshulman

.github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: "Build"
+name: "Test, Build, and Deploy"
 
 on:
   pull_request:
@@ -19,3 +19,20 @@ jobs:
     - uses: DeterminateSystems/nix-installer-action@main
     - run: nix profile install nixpkgs#cachix
     - run: env CACHIX_AUTH_TOKEN=${{ secrets.CACHIX_AUTH_TOKEN }} cachix watch-exec narya -- nix build --accept-flake-config .
+    - run: cd dist
+    - run: ./build.sh
+    - name: Upload static files as artifact
+      id: deployment
+      uses: actions/upload-pages-artifact@v3
+      with:
+        path: dist/build/
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4

.gitignore

@@ -42,3 +42,7 @@ docs/build
 .envrc
 result
 .direnv/
+
+# Github deploy build
+dist/build/*
+dist/narya-*

dist/build.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+NAME=narya-`git show -s --format=%h`-`date +'%Y%m%d'`
+mkdir -p $NAME
+cp ../proofgeneral/*.el $NAME
+cp ../result/bin/narya $NAME
+tar -czf $NAME.tar.gz $NAME
+mkdir -p build/releases
+mv $NAME.tar.gz build/releases