revert me: temporarily use monomorphize-assoc-type-universe-index b…

…ranch for Hax
cryspen · Jan 22, 2024 · 3ba0d7d · 3ba0d7d
1 parent 230323d
commit 3ba0d7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -53,6 +53,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: hacspec/hacspec-v2
+          ref: monomorphize-assoc-type-universe-index
           path: hax
 
       - name: 🔨 Setup hax