Don't abort checks on other environments on failure (#831)
This commit is contained in:
committed by
GitHub
parent
acf910102a
commit
584923bf74
@@ -22,6 +22,7 @@ jobs:
|
|||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
strategy:
|
strategy:
|
||||||
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
tag:
|
tag:
|
||||||
- arch-rolling # Arch has its own recent GNAT and pacman
|
- arch-rolling # Arch has its own recent GNAT and pacman
|
||||||
|
|||||||
@@ -21,6 +21,7 @@ jobs:
|
|||||||
runs-on: ${{ matrix.os }}
|
runs-on: ${{ matrix.os }}
|
||||||
|
|
||||||
strategy:
|
strategy:
|
||||||
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
os:
|
os:
|
||||||
- macos-latest
|
- macos-latest
|
||||||
|
|||||||
@@ -51,6 +51,6 @@ jobs:
|
|||||||
toolchain: --disable-assistant # We don't need the compiler
|
toolchain: --disable-assistant # We don't need the compiler
|
||||||
branch: master
|
branch: master
|
||||||
|
|
||||||
- name: Diff releases
|
- name: <<DIFF RELEASES>>
|
||||||
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|||||||
Reference in New Issue
Block a user