Define left half-smash products #9055
Triggered via pull request
February 13, 2025 20:24
fredrik-bakke
Status
Cancelled
Total duration
7m 12s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
53s
link-check
0s
Annotations
4 errors and 2 warnings
|
typecheck (ubuntu-latest, 2.7.0)
Canceling since a higher priority waiting request for 'agda-unimath CI-half-smash' exists
|
|
typecheck (ubuntu-latest, 2.7.0)
The operation was canceled.
|
|
typecheck (macOS-13, 2.7.0)
Canceling since a higher priority waiting request for 'agda-unimath CI-half-smash' exists
|
|
typecheck (macOS-13, 2.7.0)
The operation was canceled.
|
|
typecheck (ubuntu-latest, 2.7.0)
Cache not found for keys: Linux-check-refs/pull/1320/merge-2.7.0-3cf2ffcd301c90fa0261075cda0685987c53692fc16b7d982fa74580750606be, Linux-check-refs/pull/1320/merge-2.7.0-, Linux-check-refs/heads/master-2.7.0-
|
|
typecheck (macOS-13, 2.7.0)
Cache not found for keys: macOS-check-refs/pull/1320/merge-2.7.0-3cf2ffcd301c90fa0261075cda0685987c53692fc16b7d982fa74580750606be, macOS-check-refs/pull/1320/merge-2.7.0-, macOS-check-refs/heads/master-2.7.0-
|