Skip to content
Juvix Compiler CI

Add new case for positivity checker: type cannot occur as arg of bound var #5828

Sign in to view logs

Add new case for positivity checker: type cannot occur as arg of bound var

Add new case for positivity checker: type cannot occur as arg of bound var #5828

Triggered via pull request November 30, 2023 09:16
@jonaprietojonaprieto
synchronize #2542
update-positivity
Status Cancelled
Total duration 13s
Artifacts –

ci.yml

on: pull_request
pre-commit
0s
pre-commit
ormolu
0s
ormolu
build-and-test-linux
0s
build-and-test-linux
build-and-test-macos
0s
build-and-test-macos
Fit to window
Zoom out
Zoom in

Annotations

4 errors
pre-commit
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-positivity' exists
build-and-test-linux
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-positivity' exists
build-and-test-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-positivity' exists
ormolu
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-positivity' exists