Merge pull request #123 from openwsn-berkeley/fix-ci-adjust-release

fix,ci: make release step not depend on build-fstar
openwsn-berkeley · Nov 4, 2023 · 14ba461 · 14ba461
2 parents 22ee3e6 + 8df4625
commit 14ba461
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -188,6 +188,8 @@ jobs:
 
   release:
     runs-on: ubuntu-latest
+    # NOTE: uncomment the generate-fstar part once the hax part is fixed
+    # needs: [build-edhoc-package, run-example-on-qemu, build-example-for-cortex-m4, build-coap-example, generate-fstar, build-static-lib-and-headers]
     needs: [build-edhoc-package, run-example-on-qemu, build-example-for-cortex-m4, build-coap-example, build-static-lib-and-headers]
     if: >-
       github.event_name == 'push' &&
@@ -196,11 +198,11 @@ jobs:
     steps:
       - name: Checkout repo
         uses: actions/checkout@v3
-      - name: Download artifacts
-        uses: actions/download-artifact@v3
-        with:
-          name: fstar-code
-          path: ./release-artifacts
+      # - name: Download artifacts
+      #   uses: actions/download-artifact@v3
+      #   with:
+      #     name: fstar-code
+      #     path: ./release-artifacts
       - name: Download artifacts
         uses: actions/download-artifact@v3
         with: