Add new case for positivity checker: type cannot occur as arg of bound var #5833
Triggered via pull request
November 30, 2023 12:42
jonaprieto
Status
Success
Total duration
1h 10m 0s
Artifacts
–
ci.yml
on: pull_request
pre-commit
22s
ormolu
21s
build-and-test-linux
36m 5s
build-and-test-macos
1h 9m