Skip to content
Build with Make

Use coinduction instead of paco #11

Sign in to view logs

Use coinduction instead of paco

Use coinduction instead of paco #11

Triggered via pull request January 22, 2026 17:45
@LysxiaLysxia
opened #282
coinduction
Status Failure
Total duration 2m 48s
Artifacts –

build-with-make.yml

on: pull_request
Matrix: build-with-make
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build-with-make (coqorg/coq:8.20): theories/Eq/Eqit.v#L33
Cannot find a physical path bound to logical path
build-with-make (coqorg/coq:8.20)
Failed to remove 'http.https://github.com/.extraheader' from the git config