tweak: don't bother synhashing when synhashes would be the same #11527
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| defaults: | |
| run: | |
| shell: bash | |
| on: | |
| # Run on the post-merge result of every PR commit | |
| pull_request: | |
| # Build on the pre-merge result of every branch commit | |
| push: | |
| workflow_dispatch: | |
| env: | |
| ## Some version numbers that are used during CI | |
| runtime_tests_version: "@unison/runtime-tests/releases/0.0.3" | |
| ## Some cached directories | |
| # a temp path for caching a built `ucm` | |
| ucm_local_bin: ucm-local-bin | |
| # a codebase path for caching a codebase generated by `unison-src/builtin-tests/interpreter-tests.md` | |
| runtime_tests_codebase: "~/.cache/unisonlanguage/runtime-tests.unison" | |
| # locations of some files that will indicate whether we need to re-run certain steps | |
| transcript_test_results: transcript-test-results | |
| interpreter_test_results: interpreter-test-results | |
| # work around https://github.com/actions/cache/issues/1547 which may continue causing failures until March 1, 2025 | |
| ACTIONS_CACHE_SERVICE_V2: true | |
| jobs: | |
| build-ucm: | |
| name: build ucm | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| # Run each build to completion, regardless of if any have failed | |
| fail-fast: false | |
| matrix: | |
| os: | |
| # While iterating on this file, you can disable one or more of these to speed things up | |
| - ubuntu-24.04 | |
| - ubuntu-24.04-arm | |
| - macos-13 | |
| - macos-14 | |
| - windows-2025 | |
| # - windows-11-arm | |
| steps: | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 | |
| - name: tweak environment | |
| id: tweak-environment | |
| run: | | |
| ucm_local_bin="${RUNNER_TEMP//\\//}/${ucm_local_bin}" | |
| echo "ucm_local_bin=$ucm_local_bin" >> $GITHUB_ENV | |
| if [[ ${{runner.os}} = "Windows" ]]; then | |
| echo "ucm=$ucm_local_bin/unison.exe" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts.exe" >> $GITHUB_ENV | |
| else | |
| echo "ucm=$ucm_local_bin/unison" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts" >> $GITHUB_ENV | |
| fi | |
| - name: cache ucm binaries | |
| id: cache-ucm-binaries | |
| uses: actions/cache@d4323d4df104b026a6aa633fdb11d772146be0bf # v4 | |
| with: | |
| path: ${{env.ucm_local_bin}} | |
| key: ucm-${{ matrix.os }}-${{ hashFiles('**/ci.yaml', '**/stack.yaml', '**/package.yaml', '**/*.hs', '**/unison-cli-integration/integration-tests/IntegrationTests/*')}} | |
| # added the integration test dependencies here as if they were source, for simplicity | |
| - name: restore stack caches | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| id: restore-stack-caches | |
| uses: unisonweb/actions/stack/cache/restore@main | |
| with: | |
| cache-prefix: ci | |
| - name: install stack | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| uses: unisonweb/actions/stack/install@main | |
| with: | |
| stack-version: 2.15.5 | |
| # Build deps, then build local code. Splitting it into two steps just allows us to see how much time each step | |
| # takes. | |
| - name: build dependencies | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| # Run up to 5 times in a row before giving up. | |
| # It's very unlikely that our build-dependencies step will fail on most builds, | |
| # so if it fails its almost certainly due to a race condition on the Windows | |
| # file-system API that stack runs into. Since any successful packages are | |
| # cached within a single build, it should get further along on each re-start | |
| # and should hopefully finish! | |
| run: | | |
| stack --version | |
| tries=1 | |
| if [[ ${{matrix.os}} = "windows-"* ]]; then | |
| tries=5 | |
| fi | |
| for (( i = 0; i < $tries; i++ )); do | |
| stack build --fast --only-dependencies --test --bench && break; | |
| done | |
| - name: build | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: | | |
| stack build \ | |
| --fast \ | |
| --test \ | |
| --no-run-tests \ | |
| --local-bin-path ${{env.ucm_local_bin}} \ | |
| --copy-bins | |
| # The unison-cli test requires a git user. | |
| - name: set git user info | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: | | |
| git config --global user.name "GitHub Actions" | |
| git config --global user.email "[email protected]" | |
| # Run each test suite (tests and transcripts) | |
| - name: unison-cli test | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-cli | |
| - name: unison-core tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-core | |
| - name: unison-parser-typechecker tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-parser-typechecker | |
| - name: unison-sqlite tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-sqlite | |
| - name: unison-syntax tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-syntax | |
| - name: unison-util-bytes tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-util-bytes | |
| - name: unison-util-cache tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-util-cache | |
| - name: unison-util-relation tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: stack build --fast --test unison-util-relation | |
| - name: cli-integration-tests | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: | | |
| stack exec cli-integration-tests | |
| # Fail if any transcripts cause git diffs. | |
| git diff --ignore-cr-at-eol --exit-code unison-cli-integration/integration-tests | |
| - name: verify stack ghci startup | |
| if: runner.os == 'macOS' && steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: echo | stack ghci | |
| - name: save ucm artifact | |
| uses: actions/upload-artifact@4cec3d8aa04e39d1a68397de0c4cd6fb9dce8ec1 # v4 | |
| with: | |
| name: unison-${{ matrix.os }} | |
| path: ${{ env.ucm }} | |
| if-no-files-found: error | |
| - name: save built binaries | |
| uses: actions/upload-artifact@4cec3d8aa04e39d1a68397de0c4cd6fb9dce8ec1 # v4 | |
| with: | |
| path: ${{ env.ucm_local_bin }} | |
| name: local-bin-${{ matrix.os }} | |
| if-no-files-found: error | |
| - name: save stack caches | |
| if: | | |
| !cancelled() | |
| && steps.restore-stack-caches.outputs.cache-hit != 'true' | |
| && steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| uses: unisonweb/actions/stack/cache/save@main | |
| with: | |
| cache-prefix: ci | |
| # placing this after the cache is saved, to avoid unnecessary invalidation | |
| - name: optimization checks | |
| if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' | |
| run: | | |
| stack build unison-runtime --flag unison-runtime:optchecks | |
| transcripts: | |
| name: run transcripts | |
| needs: build-ucm | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| # Run each build to completion, regardless of if any have failed | |
| fail-fast: false | |
| matrix: | |
| os: | |
| # While iterating on this file, you can disable one or more of these to speed things up | |
| - ubuntu-24.04 | |
| - ubuntu-24.04-arm | |
| - macos-13 | |
| - macos-14 | |
| - windows-2025 | |
| # - windows-11-arm | |
| steps: | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 | |
| - name: tweak environment | |
| run: | | |
| transcript_test_results="${RUNNER_TEMP//\\//}/${transcript_test_results}" | |
| echo "transcript_test_results=$transcript_test_results" >> $GITHUB_ENV | |
| ucm_local_bin="${RUNNER_TEMP//\\//}/${ucm_local_bin}" | |
| echo "ucm_local_bin=$ucm_local_bin" >> $GITHUB_ENV | |
| if [[ ${{runner.os}} = "Windows" ]]; then | |
| echo "ucm=$ucm_local_bin/unison.exe" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts.exe" >> $GITHUB_ENV | |
| else | |
| echo "ucm=$ucm_local_bin/unison" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts" >> $GITHUB_ENV | |
| fi | |
| - name: cache transcript test results | |
| id: cache-transcript-test-results | |
| uses: actions/cache@d4323d4df104b026a6aa633fdb11d772146be0bf # v4 | |
| with: | |
| path: ${{env.transcript_test_results}} | |
| key: transcripts-results-${{ matrix.os }}-${{ hashFiles('**/stack.yaml', '**/package.yaml', '**/*.hs')}}-${{ hashFiles('**/unison-src/**/*.md', '**/unison-src/**/*.u') }} | |
| - name: restore binaries | |
| uses: actions/download-artifact@cc203385981b70ca67e1cc392babf9cc229d5806 # v4 | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| with: | |
| path: ${{env.ucm_local_bin}} | |
| name: local-bin-${{matrix.os}} | |
| if-no-files-found: error | |
| - name: set built binaries permissions | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: chmod +x ${{env.ucm_local_bin}}/* | |
| # One of the transcripts fails if the user's git name hasn't been set. | |
| ## (Which transcript? -AI) | |
| - name: set git user info | |
| run: | | |
| git config --global user.name "GitHub Actions" | |
| git config --global user.email "[email protected]" | |
| - name: round-trip-tests | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| ${{env.ucm}} transcript unison-src/transcripts-round-trip/main.md | |
| ${{env.ucm}} transcript unison-src/transcripts-manual/rewrites.md | |
| # Fail if any transcripts cause git diffs. | |
| git diff --ignore-cr-at-eol --exit-code \ | |
| unison-src/transcripts-round-trip/main.output.md \ | |
| unison-src/transcripts-manual/rewrites.output.md | |
| - name: transcripts | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| ${{env.transcripts}} | |
| # Fail if any transcripts cause git diffs. | |
| git diff --ignore-cr-at-eol --exit-code unison-src/transcripts | |
| - name: shell-based regression tests | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' && runner.os == 'linux' | |
| run: | | |
| unison-src/tests/fix5507.sh ${{env.ucm}} | |
| - name: docs.to-html | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| ${{env.ucm}} transcript unison-src/transcripts-manual/docs.to-html.md | |
| # Fail if the output or generated docs differ. | |
| git diff --ignore-cr-at-eol --exit-code \ | |
| unison-src/transcripts-manual/docs.to-html.output.md \ | |
| unison-src/transcripts-manual/docs.to-html | |
| - name: mark transcripts as passing | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| echo "passing=true" >> "${{env.transcript_test_results}}" | |
| interpreter-tests: | |
| name: run interpreter tests | |
| needs: build-ucm | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| # Run each build to completion, regardless of if any have failed | |
| fail-fast: false | |
| matrix: | |
| os: | |
| # While iterating on this file, you can disable one or more of these to speed things up | |
| - ubuntu-24.04 | |
| - ubuntu-24.04-arm | |
| - macos-13 | |
| - macos-14 | |
| # - windows-2025 fails! :-\ https://github.com/unisonweb/unison/actions/runs/15706568824/job/44253742036?pr=5765 | |
| # - windows-11-arm | |
| steps: | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 | |
| - name: tweak environment | |
| run: | | |
| interpreter_test_results="${RUNNER_TEMP//\\//}/${interpreter_test_results}" | |
| echo "interpreter_test_results=$interpreter_test_results" >> $GITHUB_ENV | |
| ucm_local_bin="${RUNNER_TEMP//\\//}/${ucm_local_bin}" | |
| echo "ucm_local_bin=$ucm_local_bin" >> $GITHUB_ENV | |
| if [[ ${{runner.os}} = "Windows" ]]; then | |
| echo "ucm=$ucm_local_bin/unison.exe" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts.exe" >> $GITHUB_ENV | |
| else | |
| echo "ucm=$ucm_local_bin/unison" >> $GITHUB_ENV | |
| echo "transcripts=$ucm_local_bin/transcripts" >> $GITHUB_ENV | |
| fi | |
| - name: look up hash for runtime tests | |
| run: echo "runtime_tests_causalhash=$(scripts/get-share-hash.sh ${{env.runtime_tests_version}})" >> $GITHUB_ENV | |
| - name: cache interpreter test results | |
| id: cache-interpreter-test-results | |
| uses: actions/cache@d4323d4df104b026a6aa633fdb11d772146be0bf # v4 | |
| with: | |
| path: ${{env.interpreter_test_results}} | |
| key: interpreter-test-results-${{ matrix.os }}-${{ hashFiles('**/stack.yaml', '**/package.yaml', '**/*.hs')}}-${{ hashFiles('**/interpreter-tests.tpl.md') }}-${{env.runtime_tests_causalhash}} | |
| - name: cache testing codebase | |
| id: cache-testing-codebase | |
| if: steps.cache-interpreter-test-results.outputs.cache-hit != 'true' | |
| uses: actions/cache@d4323d4df104b026a6aa633fdb11d772146be0bf # v4 | |
| with: | |
| path: ${{ env.runtime_tests_codebase }} | |
| key: runtime-tests-codebase-${{env.runtime_tests_causalhash}} | |
| restore-keys: runtime-tests-codebase- | |
| - name: restore binaries | |
| uses: actions/download-artifact@cc203385981b70ca67e1cc392babf9cc229d5806 # v4 | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| with: | |
| path: ${{env.ucm_local_bin}} | |
| name: local-bin-${{ matrix.os }} | |
| if-no-files-found: error | |
| - name: set binaries permissions | |
| if: steps.cache-transcript-test-results.outputs.cache-hit != 'true' | |
| run: chmod +x ${{env.ucm_local_bin}}/* | |
| - name: interpreter tests | |
| # this one should be re-run if the ucm binaries have changed or unison-src/ has changed | |
| if: steps.cache-interpreter-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| envsubst '${runtime_tests_version}' \ | |
| < unison-src/builtin-tests/interpreter-tests.tpl.md \ | |
| > unison-src/builtin-tests/interpreter-tests.md | |
| ${{ env.ucm }} transcript.fork -C ${{ env.runtime_tests_codebase }} unison-src/builtin-tests/interpreter-tests.md | |
| cat unison-src/builtin-tests/interpreter-tests.output.md | |
| git diff --exit-code unison-src/builtin-tests/interpreter-tests.output.md | |
| - name: mark interpreter tests as passing | |
| if: steps.cache-interpreter-test-results.outputs.cache-hit != 'true' | |
| run: | | |
| echo "passing=true" >> "${{env.interpreter_test_results}}" |