Skip to content
cleanup caches generated by pull requests

Preunivalence holds in univalent foundations #236

Sign in to view logs

Preunivalence holds in univalent foundations

Preunivalence holds in univalent foundations #236

Triggered via pull request October 21, 2023 20:11
@EgbertRijkeEgbertRijke
closed #874
fredrik-bakke:preunivalence
Status Success
Total duration 18s
Artifacts –

clean-up.yaml

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