temp: use misc-additions-proofs-lib branch of hax until it is merged

future-proof-iot · Feb 28, 2024 · 522c573 · 522c573
1 parent 0de48df
commit 522c573
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -13,6 +13,8 @@ jobs:
 
       - name: ⤵ Install and configure hax
         uses: hacspec/hax-actions@main
+        with:
+          hax_reference: misc-additions-proofs-lib
 
       - name: 🏃 Extract `riot-rs-runqueue`
         working-directory: ./src/riot-rs-runqueue