Upload *.timing files on failure #4737
Triggered via pull request
February 5, 2025 23:11
JasonGross
Status
Cancelled
Total duration
4m 52s
Artifacts
–
coq-macos.yml
on: pull_request
Annotations
5 errors and 2 warnings
|
macOS 14 (arm64)
Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-14-4.14.2-upload-timing-files' exists
|
|
macOS 14 (arm64)
The operation was canceled.
|
|
macOS 13 (x86_64)
Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-13-4.11.1-upload-timing-files' exists
|
|
macOS 13 (x86_64)
The operation was canceled.
|
|
macos-check-all
Process completed with exit code 1.
|
|
macOS 14 (arm64)
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|
|
macOS 13 (x86_64)
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|