ci.yml

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