diff options
| -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 e729db67..d9be5200 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 |