Adapt to https://github.com/coq/coq/pull/19530 #630
JasonGrossstandalone.yml
on: pull_request
Matrix: build
standalone-check-all
0s
Annotations
19 errors and 7 warnings
|
build (3.10, windows-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.10-windows-latest-stdlib_repo' exists
|
|
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.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.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.8, macos-latest)
[notice] A new release of pip is available: 21.1.1 -> 24.3.1
[notice] To update, run: python3.8 -m pip install --upgrade pip
|
|
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 (3.9, macos-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.9-macos-latest-stdlib_repo' exists
|
|
build (3.9, macos-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 (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.6)
The operation was canceled.
|
|
build (macos-13, 3.7)
Canceling since a higher priority waiting request for 'Build Standalone-3.7-macos-13-stdlib_repo' exists
|
|
build (macos-13, 3.7)
The operation was canceled.
|
|
standalone-check-all
Process completed with exit code 1.
|
|
build (3.7, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (3.8, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (3.10, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (3.9, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (3.11, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (3.12, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
standalone-check-all
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
standalone-3.10-macos-latest
|
6.55 MB |
|
|
standalone-3.10-ubuntu-latest
|
6.57 MB |
|
|
standalone-3.10-windows-latest
|
6.96 MB |
|
|
standalone-3.11-macos-latest
|
10.1 MB |
|
|
standalone-3.11-ubuntu-latest
|
9.97 MB |
|
|
standalone-3.12-macos-latest
|
11.9 MB |
|
|
standalone-3.12-ubuntu-latest
|
11.8 MB |
|
|
standalone-3.6-ubuntu-20.04
|
4.31 MB |
|
|
standalone-3.7-ubuntu-latest
|
4.33 MB |
|
|
standalone-3.8-ubuntu-latest
|
5.88 MB |
|
|
standalone-3.9-ubuntu-latest
|
6.06 MB |
|