Skip to content
cleanup caches generated by pull requests

Functoriality of sequential colimits #314

Sign in to view logs

Functoriality of sequential colimits

Functoriality of sequential colimits #314

Triggered via pull request December 4, 2023 23:30
@EgbertRijkeEgbertRijke
closed #919
VojtechStep:features/functoriality-sequential-colimits
Status Success
Total duration 28s
Artifacts –

clean-up.yaml

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