ci.yml

name: CI tests
run-name: ${{ github.actor }} CI tests
on:
  push:
    branches: [ main ]

  pull_request:
    branches: [ main ]

  workflow_dispatch:

permissions:
  contents: read

jobs:
  build:
    runs-on: [ ubuntu-latest ]
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@main
      - uses: DeterminateSystems/magic-nix-cache-action@main
      - name: "Lint"
        run: nix run .\#check-formatting
      - name: "Test"
        run: |
          nix develop --command cabal --config-file /dev/null --active-repositories=none test test:doctests
          nix develop --command cabal --config-file /dev/null --active-repositories=none test test:tests