Add COMPLETE annotations for V# patterns #18
Workflow file for this run
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: CI | |
| # Trigger the workflow on push or pull request, but only for the master branch | |
| on: | |
| pull_request: | |
| push: | |
| branches: [master] | |
| defaults: | |
| run: | |
| shell: bash | |
| # Cancel running actions when a new action on the same PR is started | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| cabal: | |
| name: ${{ matrix.os }} / ghc ${{ matrix.ghc }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| include: | |
| # Linux | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "8.4.4" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "8.6.5" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "8.8.4" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "8.10.7" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "9.0.1" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "9.2.8" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "9.4.7" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "9.6.3" } | |
| - { cabal: "3.10", os: ubuntu-latest, ghc: "9.8.1" } | |
| fail-fast: false | |
| steps: | |
| # ---------------- | |
| - name: "Dummy" | |
| run: | | |
| echo M1 ${{ matrix.ghc }} | |
| echo M2 ${{ matrix.skip-bench }} | |
| # ---------------- | |
| - uses: actions/checkout@v3 | |
| # ---------------- | |
| - uses: haskell-actions/setup@v2 | |
| id: setup-haskell-cabal | |
| name: Setup Haskell | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: ${{ matrix.cabal }} | |
| # ---------------- | |
| - uses: actions/cache@v3 | |
| name: Cache ~/.cabal/store | |
| with: | |
| path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }} | |
| key: ${{ runner.os }}-${{ matrix.ghc }}--${{ github.Shah }} | |
| # ---------------- | |
| - name: Versions | |
| run: | | |
| cabal -V | |
| ghc -V | |
| # ---------------- | |
| - name: Make sdist | |
| run: | | |
| mkdir sdist | |
| for nm in fixed-vector*; do cabal sdist $nm -o sdist; done | |
| - name: Unpack | |
| run: | | |
| mkdir unpacked | |
| for nm in sdist/*; do tar -C unpacked -xf $nm; done | |
| cd unpacked | |
| echo "packages: */*.cabal" > cabal.project | |
| echo "tests: true" >> cabal.project | |
| # ---------------- | |
| - name: cabal check | |
| run: | | |
| for nm in fixed-vector-*; do (cd $nm; cabal check); done | |
| # ---------------- | |
| - name: Build | |
| run: | | |
| if [ "${{ matrix.skip-test }}" == "" ]; then FLAG_TEST=--enable-test; fi | |
| if [ "${{ matrix.skip-bench }}" == "" ]; then FLAG_BENCH=--enable-benchmarks; fi | |
| cabal configure $FLAG_TEST $FLAG_BENCH | |
| cabal build all --write-ghc-environment-files=always | |
| # ---------------- | |
| - name: Test | |
| run: | | |
| cabal test all |