Add new case for positivity checker: type cannot occur as arg of bound var #5823
Triggered via pull request
November 29, 2023 20:18
jonaprieto
Status
Success
Total duration
1h 8m 22s
Artifacts
–
ci.yml
on: pull_request
pre-commit
9s
ormolu
20s
build-and-test-linux
35m 56s
build-and-test-macos
1h 7m