Skip to content

Refactor functoriality and various infrastructure for sequential colimits #5439

Refactor functoriality and various infrastructure for sequential colimits

Refactor functoriality and various infrastructure for sequential colimits #5439

Triggered via pull request December 9, 2023 19:57
Status Success
Total duration 2m 33s
Artifacts

ci.yaml

on: pull_request
pre-commit
29s
pre-commit
link-check
20s
link-check
Fit to window
Zoom out
Zoom in