Skip to content
cleanup caches by a branch

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

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

Triggered via pull request November 30, 2023 14:03
@jonaprietojonaprieto
closed #2542
update-positivity
Status Success
Total duration 20s
Artifacts –

clean-up-cache.yaml

on: pull_request
cleanup
11s
cleanup
Fit to window
Zoom out
Zoom in