Skip to content
Ubuntu build

Pour Cubical.Categories.Constructions into Instances #765 #2667

Sign in to view logs

Pour Cubical.Categories.Constructions into Instances #765

Pour Cubical.Categories.Constructions into Instances #765 #2667

Triggered via pull request October 25, 2024 18:16
@anuytsanuyts
opened #1162
anuyts:const-inst
Status Failure
Total duration 8m 56s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
8m 45s
test-cubical
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
test-cubical
Not in scope: ‘Prelude.null’
test-cubical
Not in scope: ‘Prelude.null’
test-cubical
Process completed with exit code 1.
test-cubical
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/