diff options
| author | Henrik Tjäder <henrik@grepit.se> | 2021-01-19 19:38:54 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@grepit.se> | 2021-01-19 19:39:21 +0100 |
| commit | fa2de97d870e0476cd7a0107193ae426ef8c3997 (patch) | |
| tree | f5cbc0cb2e03ce3840661cee767b2d57dcc99be6 /.github/workflows | |
| parent | e65a86f6962218b66a14b7ccc40eec7976880eba (diff) | |
Remove the ci-failure GHA job
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e729db6..d9be520 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -763,21 +763,3 @@ jobs: steps: - name: Mark the job as a success run: exit 0 - ci-failure: - name: ci - if: github.event_name == 'push' && !success() - needs: - - style - - check - - checkexamples - - testexamples - - checkmacros - - testmacros - - testv7 - - testv6 - - docs - - mdbook - runs-on: ubuntu-20.04 - steps: - - name: Mark the job as a failure - run: exit 1 |