dev:tools:ci:master: check embedded files before slower operations

This commit is contained in:
Simon Michael 2023-06-02 10:51:42 -10:00
parent c7c4c68031
commit a6d3424e0b

View File

@ -121,6 +121,11 @@ jobs:
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \
|| ( echo "could not identify commit range, continuing CI steps"; echo "CONTINUE=true" >> $GITHUB_ENV )
- name: Check embedded files
run: |
tools/checkembeddedfiles
if: env.CONTINUE
# things to be cached/restored:
- name: Cache stack global package db
@ -240,11 +245,6 @@ jobs:
# --ghc-options=-split-sections --no-terminal
if: env.CONTINUE
- name: Check embedded files
run: |
tools/checkembeddedfiles
if: env.CONTINUE
- name: Install shelltestrunner
env:
stack: ${{ matrix.plan.stack }}