diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a00b0a9..93358d0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -11,6 +11,7 @@ jobs: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) && contains('schedule workflow_dispatch', github.event_name) strategy: + fail-fast: false matrix: pkg: [asli, bap-aslp-plugin, bap-uq-pac, basil] uses: ./.github/workflows/nix.yml @@ -20,7 +21,9 @@ jobs: tools: needs: sources + if: always() && contains('success skipped', jobs.sources.result) strategy: + fail-fast: false matrix: pkg: [aslp, bap-aslp, bap-uq-pac, basil] uses: ./.github/workflows/build.yml