Remove old typechecker #5816
Triggered via pull request
November 29, 2023 16:59
janmasrovira
Status
Cancelled
Total duration
49m 16s
Artifacts
–
ci.yml
on: pull_request
pre-commit
15s
ormolu
20s
build-and-test-linux
17m 28s
build-and-test-macos
49m 0s
Annotations
3 errors
|
build-and-test-linux
Process completed with exit code 2.
|
|
build-and-test-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-remove-old-typechecker' exists
|
|
build-and-test-macos
The operation was canceled.
|