Remove req

Certora · Dec 10, 2024 · d0b9bc0 · d0b9bc0
1 parent 068c348
commit d0b9bc0
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -55,17 +55,16 @@ on:
           The server to run the tests on. Default is `production`.
           Options: `production`, `staging`, or `vaas-dev`.
       use-alpha:
-        required: false
+        default: false
         type: boolean
         description: |-
           Whether to use the alpha version of the `certora-cli`.
       use-beta:
-        required: false
+        default: false
         type: boolean
         description: |-
           Whether to use the beta version of the `certora-cli`.
       add-status:
-        required: true
         default: true
         type: boolean
         description: |-