Add new case for positivity checker: type cannot occur as arg of bound var #5819
Triggered via pull request
November 29, 2023 17:58
jonaprieto
Status
Cancelled
Total duration
2m 51s
Artifacts
–
ci.yml
on: pull_request
pre-commit
14s
ormolu
20s
build-and-test-linux
2m 42s
build-and-test-macos
2m 37s
Annotations
2 errors
|
build-and-test-linux
The operation was canceled.
|
|
build-and-test-macos
The operation was canceled.
|