Skip to content
agda-unimath CI

Break the Dedekind reals into lower and upper Dedekind reals #9079

Sign in to view logs

Break the Dedekind reals into lower and upper Dedekind reals

Break the Dedekind reals into lower and upper Dedekind reals #9079

Triggered via pull request February 14, 2025 00:19
@lowasserlowasser
synchronize #1314
lowasser:lower-upper-neg
Status Cancelled
Total duration 2m 1s
Artifacts –

ci.yaml

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

Annotations

3 errors
pre-commit
Process completed with exit code 1.
typecheck (ubuntu-latest, 2.7.0)
Canceling since a higher priority waiting request for 'agda-unimath CI-lower-upper-neg' exists
typecheck (ubuntu-latest, 2.7.0)
The operation was canceled.