[ derive ] Impement multi-stage algorithm for calculation of ordering #1653
This file contains 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: DepTyCheck | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - master | |
| - 'debug-ci/**' | |
| tags: | |
| - '**' | |
| pull_request: | |
| branches: | |
| - main | |
| - master | |
| schedule: | |
| # We want to run in the beginning of the day, right after the `pack` collection is built at the end of the previous day. | |
| - cron: '0 1 * * *' | |
| permissions: read-all | |
| concurrency: | |
| group: ${{ github.workflow }}@${{ github.ref }} | |
| cancel-in-progress: true | |
| defaults: | |
| run: | |
| shell: bash | |
| env: | |
| pack_dir_file: pack-dir.tar | |
| # TODO to reduce duplication, e.g. by using https://docs.github.com/en/actions/using-workflows/reusing-workflows | |
| jobs: | |
| ################ | |
| # Preparations # | |
| ################ | |
| prepare-pack: | |
| name: Prepare `pack` | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: pack update-db | |
| - name: Switch to appropriate `pack` collection | |
| run: pack switch "$( if [[ '${{ github.event_name }}' == 'schedule' ]]; then echo HEAD; else ./.pack-collection; fi )" | |
| - run: ./.patch-chez-gc-handler idris2 | |
| - name: Tar the `pack` dir | |
| run: .github/tar -cvf "${{ env.pack_dir_file }}" --exclude=".cache" "$PACK_DIR" | |
| - name: Save state of `pack` | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: pack-dir | |
| path: ${{ env.pack_dir_file }} | |
| thirdparties-build: | |
| name: Build thirdparties | |
| needs: prepare-pack | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Restore state of `pack` | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: pack-dir | |
| - name: Untar the `pack` dir | |
| run: .github/tar -xvf "${{ env.pack_dir_file }}" --one-top-level=/ --touch | |
| - run: pack install-deps deptycheck | |
| - run: pack install summary-stat # for distr tests | |
| # TODO to compute test dependencies when we have special mini-test libs | |
| - name: Tar the `pack` dir | |
| run: .github/tar -uvf "${{ env.pack_dir_file }}" --exclude=".cache" "$PACK_DIR" | |
| - name: Save built thirdparties | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: built-thirdparties | |
| path: ${{ env.pack_dir_file }} | |
| ############################ | |
| # Build DepTyCheck library # | |
| ############################ | |
| deptycheck-build-lib: | |
| name: Build the lib | |
| needs: | |
| - prepare-pack | |
| - thirdparties-build | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Restore built thirdparties | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: built-thirdparties | |
| - name: Untar the `pack` dir | |
| run: .github/tar -xvf "${{ env.pack_dir_file }}" --one-top-level=/ --touch | |
| - run: pack build deptycheck | |
| - run: pack install deptycheck | |
| - name: Tar the `pack` dir | |
| run: .github/tar -uvf "${{ env.pack_dir_file }}" --exclude=".cache" "$PACK_DIR" | |
| - name: Tar built TTC files | |
| run: find "$(pwd)" -name '*.tt[cm]' | .github/tar -uvf "${{ env.pack_dir_file }}" --files-from /dev/stdin | |
| - name: Save built DepTyCheck | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: built-deptycheck | |
| path: ${{ env.pack_dir_file }} | |
| #######$################### | |
| # Build DepTyCheck's docs # | |
| ########$################## | |
| deptycheck-build-docs: | |
| name: Build the docs | |
| runs-on: ubuntu-latest | |
| container: sphinxdoc/sphinx:latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install dependencies | |
| run: pip3 install -r docs/requirements.txt | |
| - run: alias sh=bash | |
| # - run: pack build docs # `pack` is unaccessible here, thus: | |
| - run: cd docs && eval "$(grep prebuild docs.ipkg | sed 's/.*"\(.*\)"/\1/')" | |
| ################### | |
| # Test DepTyCheck # | |
| ################### | |
| get-test-sets: | |
| name: Acquire test sets | |
| needs: | |
| - deptycheck-build-lib | |
| runs-on: ubuntu-latest | |
| outputs: | |
| test-sets: ${{ steps.get-test-sets.outputs.test-sets }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Get test sets | |
| id: get-test-sets | |
| run: | | |
| ( | |
| echo -n "test-sets=[" | |
| find tests/ -type f,l -name run | grep -v '/_' | \ | |
| sed -e 's|^tests/|"|' -e 's|\(.*\)distribution/\([^-]*\)-[^/]*/run|\1distribution/\2"|' -e 's|/[^/]*/run$|"|' | \ | |
| sort | uniq | awk 'ORS=", "' | head -c -2 | |
| echo "]" | |
| ) >> "$GITHUB_OUTPUT" | |
| deptycheck-test: | |
| name: Test the lib | |
| needs: | |
| - prepare-pack | |
| - deptycheck-build-lib | |
| - get-test-sets | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| strategy: | |
| fail-fast: false # all test cases are more or less independent | |
| matrix: | |
| test_set: ${{ fromJSON(needs.get-test-sets.outputs.test-sets) }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Restore built DepTyCheck | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: built-deptycheck | |
| - name: Untar the `pack` dir | |
| run: .github/tar -xvf "${{ env.pack_dir_file }}" --one-top-level=/ --touch | |
| - run: pack test deptycheck "${{matrix.test_set}}" | |
| ################# | |
| # Test examples # | |
| ################# | |
| get-examples: | |
| name: Acquire examples | |
| needs: | |
| - deptycheck-build-lib | |
| runs-on: ubuntu-latest | |
| outputs: | |
| examples: ${{ steps.get-examples.outputs.examples }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Get examples | |
| id: get-examples | |
| run: | | |
| ( | |
| echo -n "examples=[" | |
| find examples/ -mindepth 1 -maxdepth 1 -type d | \ | |
| sed 's|^examples/|"|' | sed 's|$|"|' | \ | |
| sort | uniq | awk 'ORS=", "' | head -c -2 | |
| echo "]" | |
| ) >> "$GITHUB_OUTPUT" | |
| examples-build: | |
| name: Build and test examples | |
| needs: | |
| - prepare-pack | |
| - deptycheck-build-lib | |
| - get-examples | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| strategy: | |
| fail-fast: false # all test cases are more or less independent | |
| matrix: | |
| example: ${{ fromJSON(needs.get-examples.outputs.examples) }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Restore built DepTyCheck | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: built-deptycheck | |
| - name: Untar the `pack` dir | |
| run: .github/tar -xvf "${{ env.pack_dir_file }}" --one-top-level=/ --touch | |
| - run: pack build "${{matrix.example}}" | |
| - run: pack test "${{matrix.example}}" |