Skip to content

VST on Iris

VST on Iris #956

Triggered via pull request March 18, 2024 20:23
@mansky1mansky1
synchronize #755
vst_on_iris
Status Failure
Total duration 37s
Artifacts

coq-action.yml

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

Annotations

15 errors and 10 warnings
build (dev, 64, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (dev, 64, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (dev, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.17, 64, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (8.17, 64, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (8.17, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.18, 64, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (8.18, 64, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (8.18, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.16, 64, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (8.16, 64, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (8.16, 64, vst)
The process '/usr/bin/git' failed with exit code 128
build (8.18, 32, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (8.18, 32, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (8.18, 32, 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.17, 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.17, 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/
build (8.16, 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.16, 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, 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.18, 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/