Skip to content
Lean Action CI

refactor(Blichfeldt): extract lemmas, simplify blichfeldt_minkowski p… #2

Sign in to view logs

refactor(Blichfeldt): extract lemmas, simplify blichfeldt_minkowski p…

refactor(Blichfeldt): extract lemmas, simplify blichfeldt_minkowski p… #2

Triggered via push June 17, 2026 23:02
@OliiiiverOliiiiver
pushed 87d33c4
main
Status Failure
Total duration 51m 50s
Artifacts 1

lean_action_ci.yml

on: push
build
51m 45s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
build
Error: Failed to create deployment (status: 404) with build version 87d33c4fb058d65dd13d9bf4104a83d8f93b74eb. Request ID 5BC0:2459FC:2789078:27C6691:6A3333B2 Ensure GitHub Pages has been enabled: https://github.com/Oliiiiver/Approximation/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:104: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
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@5a3ec84eff668545956fd18022155c47e93e2684, actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
35.2 MB
sha256:a2bb64689e37e7c7a02ca6c3ca5ee49f47a43a41601171d287803adab61f7bfe