Quasigroups #9133
Triggered via pull request
February 15, 2025 19:26
djspacewhale
Status
Cancelled
Total duration
2m 25s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
51s
link-check
7s
Annotations
3 errors and 1 warning
|
pre-commit
Process completed with exit code 1.
|
|
link-check
Canceling since a higher priority waiting request for 'agda-unimath CI-quasigroups' exists
|
|
link-check
The operation was canceled.
|
|
pre-commit
Cache not found for keys: pre-commit-3|/opt/hostedtoolcache/Python/3.8.18/x64|1c48239d84da7ad1240acdf5696c33d5a241ff3af4e2eef322a63b327874dc7a
|