Fix missing parameter propagation in EC2 CI workflow

Signed-off-by: Hanno Becker <[email protected]>
pq-code-package · Sep 11, 2024 · f08f335 · f08f335
1 parent e3d21eb
commit f08f335
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci_ec2_any.yml b/.github/workflows/ci_ec2_any.yml
@@ -43,4 +43,5 @@ jobs:
       functest: ${{ github.event.inputs.functest }}
       lint: ${{ github.event.inputs.lint }}
       cbmc: ${{ github.event.inputs.cbmc }}
+      always_terminate: ${{ github.event.inputs.always_terminate }}
     secrets: inherit