diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 3659d0d163..1c835485a5 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -235,11 +235,11 @@ jobs: touch /private/tmp/roundtrip.u touch /private/tmp/rewrite-tmp.u stack --no-terminal exec unison transcript unison-src/transcripts-round-trip/main.md - git add unison-src/transcripts-round-trip/main.output.md + git add unison-src/transcripts-round-trip/main.output.md # Fail if any transcripts cause git diffs. git diff --cached --ignore-cr-at-eol --exit-code stack --no-terminal exec unison transcript unison-src/transcripts-manual/rewrites.md - git add unison-src/transcripts-manual/rewrites.output.md + git add unison-src/transcripts-manual/rewrites.output.md # Fail if any transcripts cause git diffs. git diff --cached --ignore-cr-at-eol --exit-code - name: transcripts @@ -314,6 +314,9 @@ jobs: exit 1 fi + - name: verify stack ghci startup + if: runner.os == 'macOS' + run: echo | stack ghci - name: check final stackage cache size run: | echo global .stack