Skip to content
Build and Test

Patch cd #30

Sign in to view logs

Patch cd

Patch cd #30

Re-run triggered November 8, 2023 18:18
@K-dizzledK-dizzled
9d222aa
main
Status Failure
Total duration 15m 41s
Artifacts 1

coqpilot.yml

on: push
Matrix: build
create-release
1m 4s
create-release
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
create-release
Error: Item has already been added. Key in dictionary: 'extension/_opam/.opam-switch/sources/coq-core.8.18.0/test-suite/misc/deps/????/????.v' Key being added: 'extension/_opam/.opam-switch/sources/coq-core.8.18.0/test-suite/misc/deps/????/????.v' at RestClient.<anonymous> (/home/runner/work/_actions/HaaLeo/publish-vscode-extension/v1/dist/index.js:99643:31) at Generator.next (<anonymous>) at fulfilled (/home/runner/work/_actions/HaaLeo/publish-vscode-extension/v1/dist/index.js:99447:58) at runMicrotasks (<anonymous>) at processTicksAndRejections (node:internal/process/task_queues:96:5)
build (ubuntu-latest, 4.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
create-release
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
ubuntu-latest Expired
786 MB