Skip to content
agda-unimath CI

Path-cosplittings of locally small types are locally small #8550

Sign in to view logs

Path-cosplittings of locally small types are locally small

Path-cosplittings of locally small types are locally small #8550

Triggered via pull request January 30, 2025 17:57
@fredrik-bakkefredrik-bakke
opened #1251
retract-locally-small
Status Success
Total duration 3m 34s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
43s
pre-commit
link-check
1m 5s
link-check
Fit to window
Zoom out
Zoom in