Skip to content

Merge branch 'flip-parser-polarity' #32

Merge branch 'flip-parser-polarity'

Merge branch 'flip-parser-polarity' #32

Workflow file for this run

name: CI
on:
push:
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v31
- name: Flake check
run: |
nix flake check
- name: Download package index
run: |
nix develop --command cabal update
- name: Build
run: |
nix develop --command cabal build
- name: Run tests
run: |
nix develop --command cabal test
- name: Check code in documentation
run: |
nix develop --command cabal doctest --build-depends=lens
- name: Generate documentation
run: |
nix develop --command cabal haddock