Typechecker without ADTs #91
WoWasterci.yaml
on: pull_request
pre-commit
/
Pre-commit
11s
build-and-test
/
Pedantic build
3m 31s
Matrix: build-and-test / build-and-test
Annotations
5 warnings
|
pre-commit / Pre-commit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
fourmolu / Fourmolu
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
hlint / Hlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test / Pedantic build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test / Build and Test on ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|