Skip to content
agda-unimath CI

Swap order of arguments for lifts of families of elements #5464

Sign in to view logs

Swap order of arguments for lifts of families of elements

Swap order of arguments for lifts of families of elements #5464

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck (macOS-latest, 2.6.4)
14m 21s
pre-commit
31s
typecheck (ubuntu-latest, 2.6.4)
7m 55s
link-check
25s
23m 12s