Skip to content
Juvix Compiler CI

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

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 #5821

Triggered via pull request November 29, 2023 19:18
@jonaprietojonaprieto
synchronize #2542
update-positivity
Status Cancelled
Total duration 1h 0m 12s
Artifacts –

ci.yml

on: pull_request
pre-commit
14s
pre-commit
ormolu
18s
ormolu
build-and-test-linux
36m 58s
build-and-test-linux
build-and-test-macos
59m 59s
build-and-test-macos
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-test-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-positivity' exists
build-and-test-macos
The operation was canceled.