Add a workflow_dispatch workflow for deploying html quickly

.github/workflows/deploy-html-fast.yml

@@ -0,0 +1,27 @@
+name: Deploy fiat-html (manual)
+
+on:
+  workflow_dispatch:
+
+jobs:
+  deploy-fiat-html:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: recursive
+    - run: make -f Makefile.js-html EXTRA_HTML_VERSION_INFO="-manual" fiat-html/version.js
+    - name: backup .gitignore
+      run: mv .gitignore{,.bak}
+    - name: Deploy js_of_ocaml 🚀 ${{ ( github.ref != 'refs/heads/master' && '(dry run)' ) || '' }}
+      uses: JamesIves/[email protected]
+      with:
+        branch: gh-pages # The branch the action should deploy to.
+        folder: fiat-html # The folder the action should deploy.
+        git-config-email: [email protected]
+        target-folder: .
+        single-commit: true # otherwise the repo will get too big
+        dry-run: ${{ github.ref != 'refs/heads/master' }}
+    - name: restore .gitignore
+      run: mv .gitignore{.bak,}

Makefile.js-html

@@ -1,3 +1,5 @@
+EXTRA_HTML_VERSION_INFO?=
+
 .PHONY: fiat-html/version.js
 fiat-html/version.js:
-	 printf 'const fiat_crypto_version = "%s";\n' "$(shell git describe --tags HEAD)" > $@
+	 printf 'const fiat_crypto_version = "%s%s";\n' "$(shell git describe --tags HEAD)" "$(EXTRA_HTML_VERSION_INFO)" > $@