CI

hacspec · Nov 28, 2024 · 7b28517 · 7b28517
1 parent 2a69ded
commit 7b28517
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -13,6 +13,7 @@ jobs:
       - uses: DeterminateSystems/magic-nix-cache-action@main
 
       - name: ⤵ Install hax
+        working-directory: hax
         run: |
           nix build .\#coq-coverage-example