Break the Dedekind reals into lower and upper Dedekind reals #9066
Triggered via pull request
February 13, 2025 23:13
lowasser
Status
Failure
Total duration
20m 11s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
47s
link-check
2m 43s
Annotations
1 error and 6 warnings
|
pre-commit
Process completed with exit code 1.
|
|
pre-commit
Cache not found for keys: pre-commit-3|/opt/hostedtoolcache/Python/3.8.18/x64|1c48239d84da7ad1240acdf5696c33d5a241ff3af4e2eef322a63b327874dc7a
|
|
pre-commit
Cache not found for keys: setup-python-Linux-x64-24.04-Ubuntu-python-3.8.18-pip-6431b72a5d480b6bc329b02102cc36e2bb983f0b019be12f57c7fdfa74bbd1e2, setup-python-Linux-x64-24.04-Ubuntu-python-3.8.18-pip
|
|
typecheck (ubuntu-latest, 2.7.0)
Cache not found for keys: Linux-check-refs/pull/1314/merge-2.7.0-7ba53665066db32a8d26e2dc69c94427e28b4bdbfc4d43db29ab951f7de29559, Linux-check-refs/pull/1314/merge-2.7.0-, Linux-check-refs/heads/master-2.7.0-
|
|
typecheck (ubuntu-latest, 2.7.0)
Cache not found for keys: setup-python-Linux-x64-24.04-Ubuntu-python-3.8.18-pip-6431b72a5d480b6bc329b02102cc36e2bb983f0b019be12f57c7fdfa74bbd1e2, setup-python-Linux-x64-24.04-Ubuntu-python-3.8.18-pip
|
|
typecheck (macOS-13, 2.7.0)
Cache not found for keys: macOS-check-refs/pull/1314/merge-2.7.0-7ba53665066db32a8d26e2dc69c94427e28b4bdbfc4d43db29ab951f7de29559, macOS-check-refs/pull/1314/merge-2.7.0-, macOS-check-refs/heads/master-2.7.0-
|
|
link-check
Cache not found for keys: cargo-install-mdbook-linkcheck-0.7.7-c1cb368c186430518719578e
|