Skip to content

pages build and deployment #1

Sign in to view logs

pages build and deployment

pages build and deployment #1

Triggered via dynamic September 2, 2024 01:07
@kim-emkim-em
⁠ bd4edae
master
Status Failure
Total duration 37s
Artifacts 1

pages-build-deployment

on: dynamic
build
19s
build
report-build-status
8s
report-build-status
deploy
5s
deploy
Fit to window
Zoom out
Zoom in

Annotations

4 errors
deploy
Error: Failed to create deployment (status: 404) with build version bd4edae0b7ea4adfd0e6dd549396a0c76a9b131b. Request ID 4501:184210:7F01DD6:8046CC2:66D5100D Ensure GitHub Pages has been enabled: https://github.com/leanprover-community/logic_and_proof/settings/pages
deploy
HttpError: Not Found 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:95: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
report-build-status
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
github-pages Expired
265 KB