feat(fstar/kyber): add diffs for `extraction-{edited,secret-independe…

…nt}/`
cryspen · Jan 29, 2024 · 1e97b1a · 1e97b1a
1 parent 7d3beb6
commit 1e97b1a
Show file tree

Hide file tree

Showing 6 changed files with 18,307 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -72,6 +72,9 @@ jobs:
  PATH="${PATH}:${{ github.workspace }}/fstar/bin" \
  ./hax-driver.py --verify-extraction
 
+ - name: 🏃 Regenerate `extraction-*` folders
+ run: ./proofs/fstar/patches.sh apply
+
  - name: 🏃 Verify Kyber `extraction-edited` F* code
  run: |
  env FSTAR_HOME=${{ github.workspace }}/fstar \