Skip to content
Back to pull request #968

Retracts of sequential diagrams induce retracts of sequential colimits #317

Sign in to view logs

Retracts of sequential diagrams induce retracts of sequential colimits

Retracts of sequential diagrams induce retracts of sequential colimits #317

Triggered via pull request December 5, 2023 21:39
@EgbertRijkeEgbertRijke
closed #968
fredrik-bakke:fun
Status Success
Total duration 16s
Artifacts –

clean-up.yaml

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