Fail if main or pre jobs are cancelled (#2493)

Author: jneira

.github/workflows/bench.yml

@@ -203,6 +203,5 @@ jobs:
  echo "jobs info: ${{ toJSON(needs) }}"
  - if: contains(needs.*.result, 'failure')
  run: exit 1
- - if: contains(needs.*.result, 'cancelled')
- name: cancelling
- uses: andymckay/cancel-action@0.2
+ - if: contains(needs.*.result, 'cancelled') && needs.pre_job.outputs.should_skip != 'true'
+ run: exit 1

.github/workflows/nix.yml

@@ -114,6 +114,5 @@ jobs:
  echo "jobs info: ${{ toJSON(needs) }}"
  - if: contains(needs.*.result, 'failure')
  run: exit 1
- - if: contains(needs.*.result, 'cancelled')
- name: cancelling
- uses: andymckay/cancel-action@0.2
+ - if: contains(needs.*.result, 'cancelled') && needs.pre_job.outputs.should_skip != 'true'
+ run: exit 1

.github/workflows/test.yml

@@ -261,6 +261,5 @@ jobs:
  echo "jobs info: ${{ toJSON(needs) }}"
  - if: contains(needs.*.result, 'failure')
  run: exit 1
- - if: contains(needs.*.result, 'cancelled')
- name: cancelling
- uses: andymckay/cancel-action@0.2
+ - if: contains(needs.*.result, 'cancelled') && needs.pre_job.outputs.should_skip != 'true'
+ run: exit 1