Adapt to /~https://github.com/coq/coq/pull/20036 #2081
proux01Annotations
5 errors and 8 warnings
|
Ubuntu (8.17~2023.08)
Process completed with exit code 1.
|
|
Ubuntu (8.14~2022.01)
Process completed with exit code 1.
|
|
Ubuntu (8.16~2022.09)
Process completed with exit code 1.
|
|
Ubuntu (8.15~2022.04)
Process completed with exit code 1.
|
|
Ubuntu (8.18~2023.11)
Process completed with exit code 1.
|
|
Ubuntu (8.17~2023.08)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.14~2022.01)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.16~2022.09)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.15~2022.04)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.18~2023.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.13~2021.02)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
|
|
Ubuntu (8.19~2024.10)
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 | |
|---|---|---|
|
Smoke Test Kit 8.12
Expired
|
5.87 MB |
|
|
Smoke Test Kit 8.13~2021.02
Expired
|
5.43 MB |
|
|
Smoke Test Kit 8.19~2024.10
Expired
|
9.4 MB |
|