Skip to content
CI

Merge pull request #2985 from DmxLarchey/kruskal-veldman.1.0 #5

Sign in to view logs

Merge pull request #2985 from DmxLarchey/kruskal-veldman.1.0

Merge pull request #2985 from DmxLarchey/kruskal-veldman.1.0 #5

Triggered via push March 18, 2024 09:22
@damien-pousdamien-pous
pushed 93a8aa1
master
Status Failure
Total duration 6m 32s
Artifacts 1

ci.yml

on: push
build
6m 6s
build
deploy
4s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
deploy
Creating Pages deployment failed
deploy
HttpError: Not Found at /home/runner/work/_actions/actions/deploy-pages/v2/node_modules/@octokit/request/dist-node/index.js:86:1 at processTicksAndRejections (node:internal/process/task_queues:96:5) at createPagesDeployment (/home/runner/work/_actions/actions/deploy-pages/v2/src/internal/api-client.js:126:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v2/src/internal/deployment.js:80:1) at main (/home/runner/work/_actions/actions/deploy-pages/v2/src/index.js:30:1)
deploy
Error: Failed to create deployment (status: 404) with build version 93a8aa132f4ac527cb341b04ec9b435ecaaaa8b7. Ensure GitHub Pages has been enabled: https://github.com/damien-pous/opam-coq-archive/settings/pages
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
deploy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/deploy-pages@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
deploy
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.

Artifacts

Produced during runtime
Name Size
github-pages Expired
11.3 MB