Skip to content
Clean up caches generated by pull requests

A historical note on the extended fundamental theorem of identity types #597

Sign in to view logs

A historical note on the extended fundamental theorem of identity types

A historical note on the extended fundamental theorem of identity types #597

Triggered via pull request February 10, 2025 17:31
@EgbertRijkeEgbertRijke
closed #1313
fredrik-bakke:hostorical-note-extended-fundamental-theorem-id
Status Success
Total duration 12s
Artifacts –

clean-up.yaml

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