Merge pull request #775 from cryspen/make-hax-diffs-opt-out

Add option to skip hax diffs.
cryspen · Jan 30, 2025 · 0ca79fc · 0ca79fc
2 parents 184f22d + 2e2ed0b
commit 0ca79fc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -15,6 +15,10 @@ on:
       hax_rev:
         description: "The hax revision you want this job to use"
         default: "main"
+      skip_diff:
+        description: "Skip diff jobs"
+        default: false
+        type: boolean
   merge_group:
 
 env:
@@ -59,6 +63,7 @@ jobs:
           path: ~/fstar-extraction-mlkem
 
       - name: = Diff Extraction
+        if: ${{ github.event.inputs.skip_diff != 'false' }}
         run: |
           diff -r libcrux-ml-kem/proofs/fstar/extraction/ \
             ~/fstar-extraction-mlkem/fstar/extraction/
@@ -114,6 +119,7 @@ jobs:
           path: ~/fstar-extraction-mldsa
 
       - name: = Diff Extraction
+        if: ${{ github.event.inputs.skip_diff != 'false' }}
         run: |
           diff -r libcrux-ml-dsa/proofs/fstar/extraction/ \
             ~/fstar-extraction-mldsa/fstar/extraction/