Skip to content

Summary file/missing cohomology lemmas #2305

Summary file/missing cohomology lemmas

Summary file/missing cohomology lemmas #2305

Triggered via pull request January 23, 2024 14:09
Status Failure
Total duration 21m 41s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-cubical
Process completed with exit code 2.