ci: mac, windows: don't short circuit, update docs

This commit is contained in:
Simon Michael 2022-01-05 08:56:17 -10:00
parent 8a8503064b
commit 9888bf043c
2 changed files with 5 additions and 23 deletions

View File

@ -1,8 +1,6 @@
# Runs on any push to ci-mac, and weekly on master.
# Builds all modules optimised and runs unit/doc/functional tests on mac,
# using GHC 8.6,
# and uploads a binaries artifact.
# Produces optimised mac binaries and runs unit/doc/functional tests,
# using the GHC version below.
name: mac CI binaries
@ -52,14 +50,6 @@ jobs:
|| ( echo "could not identify commits, not checking them" )
# || ( echo "could not identify commits, checking last $NUM instead:"; tools/commitlint -$NUM )
- name: Skip remaining CI steps if latest commit message begins with ;
shell: bash
run: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
(git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \
|| ( echo "could not identify commit range, continuing CI steps"; echo "CONTINUE=true" >> $GITHUB_ENV )
# things to be cached/restored:
- name: Cache stack global package db

View File

@ -1,7 +1,7 @@
# Runs on any push to ci-windows, and weekly on master.
# Builds all modules optimised on windows,
# and uploads a binaries artifact.
# Produces optimised windows binaries,
# using the default GHC version in stack.yaml.
# Currently runs no tests.
name: windows CI binaries
@ -45,14 +45,6 @@ jobs:
|| ( echo "could not identify commits, not checking them" )
# || ( echo "could not identify commits, checking last $NUM instead:"; tools/commitlint -$NUM )
- name: Skip remaining CI steps if latest commit message begins with ;
shell: bash
run: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
(git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \
|| ( echo "could not identify commit range, continuing CI steps"; echo "CONTINUE=true" >> $GITHUB_ENV )
# things to be cached/restored:
- name: Cache stack global package db