Skip to content
agda-unimath CI

Archimedean property of ℚ #8658

Sign in to view logs

Archimedean property of ℚ

Archimedean property of ℚ #8658

Triggered via pull request February 4, 2025 21:19
@lowasserlowasser
synchronize #1268
lowasser:archimedean-rationals-v2
Status Failure
Total duration 3m 29s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
44s
pre-commit
link-check
49s
link-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
pre-commit
Process completed with exit code 1.
link-check
Process completed with exit code 101.