Adapt to https://github.com/coq/coq/pull/19530 #638
Triggered via pull request
December 8, 2024 21:18
JasonGross
Status
Cancelled
Total duration
1h 55m 28s
Artifacts
–
standalone.yml
on: pull_request
Matrix: build
standalone-check-all
0s
Annotations
36 errors and 1 warning
|
build (3.8, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.8-macos-latest-stdlib_repo' exists
|
|
build (3.8, macos-latest)
The operation was canceled.
|
|
build (3.10, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.10-ubuntu-latest-stdlib_repo' exists
|
|
build (3.10, ubuntu-latest)
The operation was canceled.
|
|
build (3.9, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.9-windows-latest-stdlib_repo' exists
|
|
build (3.9, windows-latest)
The operation was canceled.
|
|
build (ubuntu-20.04, 3.6)
Canceling since a higher priority waiting request for 'Build Standalone-3.6-ubuntu-20.04-stdlib_repo' exists
|
|
build (ubuntu-20.04, 3.6)
The operation was canceled.
|
|
build (3.8, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.8-ubuntu-latest-stdlib_repo' exists
|
|
build (3.8, ubuntu-latest)
The operation was canceled.
|
|
build (3.12, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.12-windows-latest-stdlib_repo' exists
|
|
build (3.12, windows-latest)
The operation was canceled.
|
|
build (3.10, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.10-windows-latest-stdlib_repo' exists
|
|
build (3.10, windows-latest)
The operation was canceled.
|
|
build (3.9, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.9-ubuntu-latest-stdlib_repo' exists
|
|
build (3.9, ubuntu-latest)
The operation was canceled.
|
|
build (3.11, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.11-windows-latest-stdlib_repo' exists
|
|
build (3.11, windows-latest)
The operation was canceled.
|
|
build (3.11, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.11-macos-latest-stdlib_repo' exists
|
|
build (3.11, macos-latest)
The operation was canceled.
|
|
build (3.12, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.12-macos-latest-stdlib_repo' exists
|
|
build (3.12, macos-latest)
The operation was canceled.
|
|
build (3.7, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.7-ubuntu-latest-stdlib_repo' exists
|
|
build (3.7, ubuntu-latest)
The operation was canceled.
|
|
build (3.9, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.9-macos-latest-stdlib_repo' exists
|
|
build (3.8, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.8-windows-latest-stdlib_repo' exists
|
|
build (3.8, windows-latest)
The operation was canceled.
|
|
build (macos-13, 3.6)
Canceling since a higher priority waiting request for 'Build Standalone-3.6-macos-13-stdlib_repo' exists
|
|
build (macos-13, 3.7)
Canceling since a higher priority waiting request for 'Build Standalone-3.7-macos-13-stdlib_repo' exists
|
|
build (3.11, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.11-ubuntu-latest-stdlib_repo' exists
|
|
build (3.11, ubuntu-latest)
The operation was canceled.
|
|
build (3.12, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.12-ubuntu-latest-stdlib_repo' exists
|
|
build (3.12, ubuntu-latest)
The operation was canceled.
|
|
build (3.10, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.10-macos-latest-stdlib_repo' exists
|
|
build (3.10, macos-latest)
The operation was canceled.
|
|
standalone-check-all
Process completed with exit code 1.
|
|
standalone-check-all
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|