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

chore,ci: make release step not depend on build-fstar
openwsn-berkeley · Nov 3, 2023 · 22ee3e6 · 22ee3e6
2 parents c132cb2 + 7ac748e
commit 22ee3e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -188,7 +188,7 @@ jobs:
 
   release:
     runs-on: ubuntu-latest
-    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' &&
       startsWith(github.event.ref, 'refs/tags')