diff --git a/.github/workflows/ci_ec2_any.yml b/.github/workflows/ci_ec2_any.yml
index 8db8ad305..da75dde4e 100644
--- 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