Skip to content
agda-unimath CI

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

Sign in to view logs

Path-cosplittings of locally small types are locally small

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

Triggered via pull request January 30, 2025 19:11
@fredrik-bakkefredrik-bakke
synchronize #1251
retract-locally-small
Status Success
Total duration 3m 28s
Artifacts –

ci.yaml

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

Annotations

2 warnings
typecheck (macOS-13, 2.7.0)
Cache save failed.
typecheck (ubuntu-latest, 2.7.0)
Cache save failed.