Skip to content

VST on Iris

VST on Iris #1053

Triggered via pull request May 11, 2024 21:08
@mansky1mansky1
synchronize #755
vst_on_iris
Status Failure
Total duration 25s
Artifacts

coq-action.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 8 warnings
build (dev, 64, vst)
remote error: upload-pack: not our ref bc8ff1412d2feb6f7209bb34ababd277d5261408
build (dev, 64, vst)
Fetched in submodule path 'ora', but it did not contain bc8ff1412d2feb6f7209bb34ababd277d5261408. Direct fetching of that commit failed.
build (dev, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.19, 32, vst)
remote error: upload-pack: not our ref bc8ff1412d2feb6f7209bb34ababd277d5261408
build (8.19, 32, vst)
Fetched in submodule path 'ora', but it did not contain bc8ff1412d2feb6f7209bb34ababd277d5261408. Direct fetching of that commit failed.
build (8.19, 32, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.19, 64, vst)
remote error: upload-pack: not our ref bc8ff1412d2feb6f7209bb34ababd277d5261408
build (8.19, 64, vst)
Fetched in submodule path 'ora', but it did not contain bc8ff1412d2feb6f7209bb34ababd277d5261408. Direct fetching of that commit failed.
build (8.19, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.18, 64, vst)
remote error: upload-pack: not our ref bc8ff1412d2feb6f7209bb34ababd277d5261408
build (8.18, 64, vst)
Fetched in submodule path 'ora', but it did not contain bc8ff1412d2feb6f7209bb34ababd277d5261408. Direct fetching of that commit failed.
build (8.18, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (dev, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (dev, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.19, 32, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.19, 32, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.19, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.19, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.18, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.18, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/