Update build-and-test.yml

openwsn-berkeley · Nov 7, 2023 · da310f4 · da310f4
1 parent 21ec5cd
commit da310f4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -65,9 +65,10 @@ jobs:
   generate-fstar:
     needs: unit-tests
     runs-on: ubuntu-latest
-    if: >-
-      ${{ vars.SHOULD_GENERATE_FSTAR == 'true' }} &&
-      ((github.event_name == 'workflow_dispatch') || (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags')))
+    if: false
+    # FIXME: commenting out until we fix hax execution
+    # if: >-
+      # ((github.event_name == 'workflow_dispatch') || (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags')))
 
     steps:
     - name: Checkout edhoc-rs