Skip to content
Ubuntu build

Summary file/missing cohomology lemmas #2307

Sign in to view logs

Summary file/missing cohomology lemmas

Summary file/missing cohomology lemmas #2307

Triggered via pull request January 23, 2024 18:45
@aljungstromaljungstrom
synchronize #1092
aljungstrom:cohomology-paper
Status Success
Total duration 33m 31s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
33m 22s
test-cubical
Fit to window
Zoom out
Zoom in