Merge pull request #631 from conjure-cp/lsp-doc-fetching #236
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: Running all tests | |
| on: | |
| workflow_dispatch: # can be triggered manually | |
| push: | |
| branches: | |
| - main # run for the main branch | |
| paths: | |
| - conjure-cp.cabal | |
| - Makefile | |
| - Dockerfile # this is here because the docker-publish.yml depends on successful completion of this action | |
| - src/** | |
| - tests/** | |
| - etc/build/** | |
| - etc/savilerow/** | |
| - .github/workflows/test.yml | |
| pull_request: # and for PRs | |
| paths: | |
| - conjure-cp.cabal | |
| - Makefile | |
| - src/** | |
| - tests/** | |
| - etc/build/** | |
| - etc/savilerow/** | |
| - .github/workflows/test.yml | |
| # other branches that want testing must create a PR | |
| jobs: | |
| Job: | |
| strategy: | |
| matrix: | |
| GHC_VERSION: [9.4] | |
| os: [ubuntu-latest] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| name: Checkout repository | |
| - name: Stack version | |
| shell: bash | |
| run: make stack.yaml | |
| - uses: actions/cache@v3 | |
| name: Cache stack | |
| with: | |
| path: | | |
| ~/.stack | |
| .stack-work | |
| key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} | |
| restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} | |
| - name: ccache | |
| uses: hendrikmuhs/[email protected] | |
| with: | |
| key: ${{ runner.os }} | |
| - name: Setting PATH | |
| shell: bash | |
| run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH} | |
| - name: Install Conjure | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin BUILD_TESTS=true make | |
| - name: Install Minion | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin etc/build/install-minion.sh | |
| - name: Install Chuffed | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin etc/build/install-chuffed.sh | |
| - name: Install Cadical | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin etc/build/install-cadical.sh | |
| - name: Install Kissat | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin etc/build/install-kissat.sh | |
| - name: Install GNU Parallel | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin etc/build/install-gnu-parallel.sh | |
| - name: Run tests | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin LIMIT_TIME=0 make test | |