Skip to content
agda-unimath CI

Break the Dedekind reals into lower and upper Dedekind reals (#1314) #9139

Sign in to view logs

Break the Dedekind reals into lower and upper Dedekind reals (#1314)

Break the Dedekind reals into lower and upper Dedekind reals (#1314) #9139

Triggered via push February 16, 2025 12:09
@fredrik-bakkefredrik-bakke
pushed eb6ea0e
master
Status Success
Total duration 5m 44s
Artifacts –

ci.yaml

on: push
Matrix: typecheck
pre-commit
48s
pre-commit
link-check
3m 9s
link-check
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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
link-check
Cache not found for keys: cargo-install-mdbook-linkcheck-0.7.7-c1cb368c186430518719578e
link-check
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists