Skip to content
Build Book

Add documentation to run Kani on single harnesses (#85) #14

Sign in to view logs

Add documentation to run Kani on single harnesses (#85)

Add documentation to run Kani on single harnesses (#85) #14

Triggered via push September 30, 2024 21:04
@carolynzechcarolynzech
pushed 85a59bc
main
Status Failure
Total duration 4m 34s
Artifacts 1

book.yml

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

Annotations

3 errors
deploy
Creating Pages deployment failed
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
Error: Failed to create deployment (status: 404) with build version 85a59bca7a74b5756ebf879c4e4038bbdbdca8ec. Request ID 68E9:3C8F7D:2A809E3:526126C:66FB1361 Ensure GitHub Pages has been enabled: https://github.com/carolynzech/verify-rust-std/settings/pages

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.3 MB