diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 13:43:04 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 13:43:04 +0100 |
| commit | e290b18ce7f73cf4f971e13108c4ab27eb9a99e4 (patch) | |
| tree | a764f000097f91d218c14a695b05f0637e985b74 /.github/workflows | |
| parent | 00fd7882d4f39a6efd38cccb99bdc0e104bf9843 (diff) | |
| parent | 297fbe90aa542b7cad08e39b4aab375cca924789 (diff) | |
| download | ocaml-e290b18ce7f73cf4f971e13108c4ab27eb9a99e4.tar.gz | |
Merge commit '297fbe90aa542b7cad08e39b4aab375cca924789' into parallel_minor_gc_4_13
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/hygiene.yml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.github/workflows/hygiene.yml b/.github/workflows/hygiene.yml index 43399e12b0..0253301d31 100644 --- a/.github/workflows/hygiene.yml +++ b/.github/workflows/hygiene.yml @@ -73,19 +73,20 @@ jobs: run: tools/ci/actions/check-labelled-interfaces.sh if: always() - # If this step fails, it leaves behind the file compiler-failed-to-build - # the presence of which can be felt by the last two steps, allowing them - # to skip, rather than go beserk with a faulty compiler. + # This step records the build success in the variable build-status, + # allowing the last two steps to skip, rather than go beserk with a + # faulty compiler. - name: Build a minimal compiler for alldepend + id: compiler run: tools/ci/actions/runner.sh basic-compiler if: always() - name: Check that dependency info is up-to-date run: tools/ci/actions/check-alldepend.sh - if: hashFiles('compiler-failed-to-build') == '' && always() + if: steps.compiler.outputs.build-status == 'success' && always() - name: Check global structure of the reference manual run: | # Required configuration info is left-over from the previous step make -C manual/tests check-stdlib check-case-collision - if: hashFiles('compiler-failed-to-build') == '' && always() + if: steps.compiler.outputs.build-status == 'success' && always() |