From 74d1fee583d6ba7b6317a3a99341764bb33f8a95 Mon Sep 17 00:00:00 2001 From: xvzcf Date: Thu, 21 Sep 2023 15:10:22 -0400 Subject: [PATCH] Only run hax job when Kyber source files are modified. --- .github/workflows/hax.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml index 07c004e69..470e297fc 100644 --- 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: