Only run hax job when Kyber source files are modified.

cryspen · Sep 21, 2023 · 74d1fee · 74d1fee
1 parent 002f0cd
commit 74d1fee
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -3,8 +3,16 @@ name: hax
 on:
   push:
     branches: ["dev"]
+    paths:
+      'specs/kyber/src/**'
+      'src/kem/kyber768/**'
+      'src/kem/kyber768.rs'
   pull_request:
     branches: ["dev"]
+    paths:
+      'specs/kyber/src/**'
+      'src/kem/kyber768/**'
+      'src/kem/kyber768.rs'
   workflow_dispatch:
 
 env: