From e6e41f8940fc62a9284947322a87ed914731de75 Mon Sep 17 00:00:00 2001 From: Geovane Fedrecheski Date: Thu, 2 Nov 2023 17:17:37 +0100 Subject: [PATCH] chore,ci: make ci fstar-generation dependent on env var --- .github/workflows/build-and-test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index a75f0e27..214b7aa8 100644 --- 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