Adapt to https://github.com/coq/coq/pull/19530 #641
proux01standalone.yml
on: pull_request
Matrix: build
standalone-check-all
0s
Annotations
1 error and 7 warnings
|
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.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.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.12, 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.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.9, 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.11-windows-latest
|
10.4 MB |
|
|
standalone-3.12-macos-latest
|
11.9 MB |
|
|
standalone-3.12-ubuntu-latest
|
11.8 MB |
|
|
standalone-3.12-windows-latest
|
12.2 MB |
|
|
standalone-3.6-macos-13
|
4.34 MB |
|
|
standalone-3.6-ubuntu-20.04
|
4.31 MB |
|
|
standalone-3.7-macos-13
|
4.38 MB |
|
|
standalone-3.7-ubuntu-latest
|
4.33 MB |
|
|
standalone-3.8-macos-latest
|
5.9 MB |
|
|
standalone-3.8-ubuntu-latest
|
5.88 MB |
|
|
standalone-3.8-windows-latest
|
6.34 MB |
|
|
standalone-3.9-macos-latest
|
6.02 MB |
|
|
standalone-3.9-ubuntu-latest
|
6.06 MB |
|
|
standalone-3.9-windows-latest
|
6.46 MB |
|