[dev pick] Add coq-lsp
to dev pick.
#1366
Triggered via pull request
September 15, 2023 12:47
Status
Success
Total duration
5h 22m 39s
Artifacts
8
ubuntu.yml
on: pull_request
Matrix: Ubuntu
Snap package
4h 55m
Snap package smoke test
8m 53s
Annotations
9 warnings
Ubuntu (8.13~2021.02)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.12)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.15~2022.04)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.14~2022.01)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.17~2023.08)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.15~2022.09)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Snap package
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Ubuntu (8.16~2022.09)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Snap package smoke test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Smoke Test Kit 8.12
Expired
|
15.7 MB |
|
Smoke Test Kit 8.13~2021.02
Expired
|
14.9 MB |
|
Smoke Test Kit 8.14~2022.01
Expired
|
29.3 MB |
|
Smoke Test Kit 8.15~2022.04
Expired
|
30.8 MB |
|
Smoke Test Kit 8.15~2022.09
Expired
|
34.7 MB |
|
Smoke Test Kit 8.16~2022.09
Expired
|
34.6 MB |
|
Smoke Test Kit 8.17~2023.08
Expired
|
34.5 MB |
|
Snap package
Expired
|
721 MB |
|