Nystrom #528
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 | |
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| concurrency: | |
| # Cancels jobs running if new commits are pushed | |
| group: > | |
| ${{ github.workflow }}- | |
| ${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| test: | |
| runs-on: [self-hosted, Linux] | |
| container: | |
| image: firedrakeproject/firedrake-vanilla-default:latest | |
| steps: | |
| - name: Fix HOME | |
| # For unknown reasons GitHub actions overwrite HOME to /github/home | |
| # which will break everything unless fixed | |
| # (https://github.com/actions/runner/issues/863) | |
| run: echo "HOME=/home/firedrake" >> "$GITHUB_ENV" | |
| - name: Pre-cleanup | |
| run: | | |
| : # Wipe everything away in the current directory | |
| find . -delete | |
| firedrake-clean | |
| - uses: actions/checkout@v4 | |
| with: | |
| # Download Irksome into a subdirectory not called 'irksome' to make sure | |
| # that the package installs correctly. Otherwise 'import irksome' may | |
| # work even if the installation failed because it is a subdirectory. | |
| path: irksome-repo | |
| - name: Create virtual environment | |
| # pass '--system-site-packages' so Firedrake can be found | |
| run: python3 -m venv --system-site-packages venv-irksome | |
| - name: Install Irksome | |
| run: | | |
| . venv-irksome/bin/activate | |
| pip install './irksome-repo[ci]' | |
| pip list | |
| - name: Run tests | |
| run: | | |
| . venv-irksome/bin/activate | |
| make -C irksome-repo test THREADS=12 | |
| - name: Post-cleanup | |
| if: always() | |
| run: | | |
| find . -delete | |
| firedrake-clean |