Remove old typechecker #5854
Triggered via pull request
December 1, 2023 14:15
jonaprieto
Status
Success
Total duration
1h 5m 46s
Artifacts
–
ci.yml
on: pull_request
pre-commit
11s
ormolu
17s
build-and-test-linux
36m 6s
build-and-test-macos
1h 5m