removing unnecessary files #164
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 | |
| - src/** | |
| - tests/** | |
| - etc/build/** | |
| - .github/workflows/test.yml | |
| pull_request: # and for PRs | |
| paths: | |
| - conjure-cp.cabal | |
| - Makefile | |
| - src/** | |
| - tests/** | |
| - etc/build/** | |
| - .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: 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 | |