Remove old typechecker module #5920
janmasroviraci.yml
on: pull_request
pre-commit
14s
ormolu
17s
build-and-test-linux
20s
build-and-test-macos
17s
Annotations
4 errors
|
build-and-test-linux
Canceling since a higher priority waiting request for 'Juvix Compiler CI-remove-old-checker-module' exists
|
|
build-and-test-linux
The operation was canceled.
|
|
build-and-test-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-remove-old-checker-module' exists
|
|
build-and-test-macos
The operation was canceled.
|