Skip to content
CI

sumarray fixes #891

Sign in to view logs

sumarray fixes

sumarray fixes #891

Re-run triggered September 26, 2023 18:34
@andrew-appelandrew-appel
#721
rinshankaihou:vst_on_iris
Status Failure
Total duration 40s
Artifacts –

coq-action.yml

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

Annotations

12 errors and 4 warnings
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.17, 32, vst)
remote error: upload-pack: not our ref c6f9a14808f3d208bbee63709655e1db309b0082
build (8.17, 32, vst)
Fetched in submodule path 'ora', but it did not contain c6f9a14808f3d208bbee63709655e1db309b0082. Direct fetching of that commit failed.
build (8.17, 32, 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 (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.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.17, 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.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 (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/