Skip to content
cleanup caches generated by pull requests

Extending pushouts by equivalences #245

Sign in to view logs

Extending pushouts by equivalences

Extending pushouts by equivalences #245

Triggered via pull request October 25, 2023 19:57
@EgbertRijkeEgbertRijke
closed #883
tomdjong:pushout-lemmas
Status Success
Total duration 19s
Artifacts –

clean-up.yaml

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