diff options
| author | Emil Fresk <emil.fresk@gmail.com> | 2021-02-06 21:34:16 +0100 |
|---|---|---|
| committer | Emil Fresk <emil.fresk@gmail.com> | 2021-02-06 21:34:16 +0100 |
| commit | b57ef0bf9d836ad031e4a4f7930162003128dc74 (patch) | |
| tree | 655a84dad87f3601c71d1353fd14365e9be5cc63 /.github/workflows | |
| parent | 6fb43fa97be75f00553e0026ac06f107ee832dc2 (diff) | |
| parent | 81a8a591353b1ea0208c68b28ee81286629039cc (diff) | |
Merge branch 'master' into new_monotonic
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 |