trying a simple fix

hiddenSymmetries · Apr 29, 2024 · dd2187b · dd2187b
1 parent d0790e2
commit dd2187b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -109,6 +109,7 @@ jobs:
       with:
         repository: PrincetonUniversity/SPEC
         path: SPEC
+        ref: hotfix_allocation_bug
 
     - name: ls -l again
       run: |