Skip to content
Clean up caches generated by pull requests

Some extensions of the fundamental theorem of identity types #595

Sign in to view logs

Some extensions of the fundamental theorem of identity types

Some extensions of the fundamental theorem of identity types #595

Triggered via pull request February 10, 2025 01:37
@EgbertRijkeEgbertRijke
closed #1243
fredrik-bakke:unbased-extended-fundamental-thm-id
Status Success
Total duration 13s
Artifacts –

clean-up.yaml

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