Skip to content
CI

Merge pull request #2784 from LasseBlaauwbroek/fix-licenses #1

Sign in to view logs

Merge pull request #2784 from LasseBlaauwbroek/fix-licenses

Merge pull request #2784 from LasseBlaauwbroek/fix-licenses #1

Triggered via push October 20, 2023 11:05
@damien-pousdamien-pous
pushed a43229f
master
Status Failure
Total duration 11m 43s
Artifacts 1

ci.yml

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

Annotations

3 errors and 1 warning
deploy
Creating Pages deployment failed
deploy
HttpError: Not Found at /home/runner/work/_actions/actions/deploy-pages/v2/webpack:/deploy-pages/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/webpack:/deploy-pages/src/internal/api-client.js:126:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v2/webpack:/deploy-pages/src/internal/deployment.js:80:1) at main (/home/runner/work/_actions/actions/deploy-pages/v2/webpack:/deploy-pages/src/index.js:30:1)
deploy
Error: Failed to create deployment (status: 404) with build version a43229f1a1fb80d5ec3b651d7f35e0789852e9c7. Ensure GitHub Pages has been enabled: https://github.com/damien-pous/opam-coq-archive/settings/pages
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
10.6 MB