Merge pull request #700 from cryspen/ci-custom-hax-branches

feat(ci/hax): allow manual workflows to specify hax version

.github/workflows/hax.yml

@@ -11,6 +11,10 @@ on:
     - cron: "0 0 * * *"
 
   workflow_dispatch:
+    inputs:
+      hax_rev:
+        description: 'The hax revision you want this job to use'
+        default: 'main'
   merge_group:
 
 env:
@@ -42,6 +46,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: hacspec/hax
+          ref: ${{ github.event.inputs.hax_rev || 'main' }}
           path: hax
 
       - name: ⤵ Install & confiure Cachix