Skip to content
agda-unimath CI

Do syntax for elim-exists chains, including application to strict real inequality #8872

Sign in to view logs

Do syntax for elim-exists chains, including application to strict real inequality

Do syntax for elim-exists chains, including application to strict real inequality #8872

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-commit
48s
typecheck (macOS-13, 2.7.0)
1m 2s
typecheck (ubuntu-latest, 2.7.0)
1m 1s
link-check
1s
2m 52s