Skip to content
cleanup caches generated by pull requests

Refactor synthetic homotopy theory #241

Sign in to view logs

Refactor synthetic homotopy theory

Refactor synthetic homotopy theory #241

Triggered via pull request October 22, 2023 16:43
@fredrik-bakkefredrik-bakke
closed #654
EgbertRijke:descent
Status Success
Total duration 18s
Artifacts –

clean-up.yaml

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