Skip to content
Lean Action CI

Add some dependency morphism results #14

Sign in to view logs

Add some dependency morphism results

Add some dependency morphism results #14

Triggered via push September 15, 2025 21:50
@jefraijefrai
pushed 29e2145
main
Status Failure
Total duration 20m 28s
Artifacts 1

lean_action_ci.yml

on: push
build
20m 23s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Error: Failed to create deployment (status: 404) with build version 29e2145c6ec27428f76dd2d9b0c70490dc2831a6. Request ID BC20:3C8615:1B36DF:600C55:68C88EED Ensure GitHub Pages has been enabled: https://github.com/focs-lab/trace-theory-lean/settings/pages
build
HttpError: Not Found at /home/runner/work/_actions/actions/deploy-pages/d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e/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/d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e/src/internal/api-client.js:125:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e/src/internal/deployment.js:74:1) at main (/home/runner/work/_actions/actions/deploy-pages/d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e/src/index.js:30:1)
build
Creating Pages deployment failed

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
11.8 MB
sha256:dac94f3d3a837552662f783af0298806522a0078a3d9c941067cc9a8b9cb06e4