chore,ci: make ci fstar-generation dependent on env var

openwsn-berkeley · Nov 2, 2023 · e6e41f8 · e6e41f8
1 parent 8156aef
commit e6e41f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -66,8 +66,8 @@ jobs:
     needs: unit-tests
     runs-on: ubuntu-latest
     if: >-
-      (github.event_name == 'workflow_dispatch') ||
-      (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags'))
+      vars.SHOULD_GENERATE_FSTAR == 1 &&
+      ((github.event_name == 'workflow_dispatch') || (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags')))
 
     steps:
     - name: Checkout edhoc-rs