Skip to content
Compile blueprint

chore: update Frobenius to reflect new mathlib PR. #11

Sign in to view logs

chore: update Frobenius to reflect new mathlib PR.

chore: update Frobenius to reflect new mathlib PR. #11

Triggered via push December 19, 2024 07:57
@YaelDilliesYaelDillies
pushed 227d04e
main
Status Failure
Total duration 53m 40s
Artifacts 1

blueprint.yml

on: push
Lint style
2s
Lint style
Build project
53m 30s
Build project
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
Build project
Creating Pages deployment failed
Build project
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)
Build project
Error: Failed to create deployment (status: 404) with build version 227d04e7092ba097c16819071099604f41680b01. Request ID B7C0:2B61C3:C0E58D:17F65A5:6763DE61 Ensure GitHub Pages has been enabled: https://github.com/javierlcontreras/FLT/settings/pages
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build project
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
github-pages Expired
41.8 MB