Skip to content

coq-htt-core and coq-htt: updating to rocq-9.2/mathcomp-2.6.0 (#3818) #3044

coq-htt-core and coq-htt: updating to rocq-9.2/mathcomp-2.6.0 (#3818)

coq-htt-core and coq-htt: updating to rocq-9.2/mathcomp-2.6.0 (#3818) #3044

Triggered via push August 10, 2026 16:05
Status Failure
Total duration 2m 17s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 2 warnings, and 1 notice
deploy
Error: Failed to create deployment (status: 400) with build version 56ed7c2a90a50f5ffaaef9f6475230c408bfe7cf. Request ID 8C30:CDB13:16F0A18:4DE2273:6A79F760 Responded with: Deployment request failed for 56ed7c2a90a50f5ffaaef9f6475230c408bfe7cf due to in progress deployment. Please cancel 3e40179efccabb5dbe33bc1876bbf60860e3d965 first or wait for it to complete.
deploy
HttpError: Deployment request failed for 56ed7c2a90a50f5ffaaef9f6475230c408bfe7cf due to in progress deployment. Please cancel 3e40179efccabb5dbe33bc1876bbf60860e3d965 first or wait for it to complete. at /home/runner/work/_actions/actions/deploy-pages/v4/node_modules/@octokit/request/dist-node/index.js:124:1 at processTicksAndRejections (node:internal/process/task_queues:104:5) at createPagesDeployment (/home/runner/work/_actions/actions/deploy-pages/v4/src/internal/api-client.js:125:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v4/src/internal/deployment.js:74:1) at main (/home/runner/work/_actions/actions/deploy-pages/v4/src/index.js:30:1)
deploy
Creating Pages deployment failed
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
deploy
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/deploy-pages@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100