Typechecker without ADTs #93
WoWasterci.yaml
on: pull_request
pre-commit
/
Pre-commit
10s
build-and-test
/
Pedantic build
16m 50s
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
|