Skip to content

Bump mathlib

Bump mathlib #263

Triggered via push October 8, 2024 06:15
Status Failure
Total duration 25m 31s
Artifacts 1

push.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Build project
Creating Pages deployment failed
Build project
HttpError: Deployment request failed for e1c8fdb5728b5257c765796904257381572a6715 due to in progress deployment. Please cancel 231ae4b9cd17928cb9200a2f1f37bbea785f7a71 first or wait for it to complete. at /home/runner/work/_actions/actions/deploy-pages/v1/webpack:/deploy-pages/node_modules/@octokit/request/dist-node/index.js:86:1 at processTicksAndRejections (node:internal/process/task_queues:95:5) at createPagesDeployment (/home/runner/work/_actions/actions/deploy-pages/v1/webpack:/deploy-pages/src/api-client.js:116:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v1/webpack:/deploy-pages/src/deployment.js:59:1) at main (/home/runner/work/_actions/actions/deploy-pages/v1/webpack:/deploy-pages/src/index.js:30:1)
Build project
Error: Failed to create deployment (status: 400) with build version e1c8fdb5728b5257c765796904257381572a6715. Responded with: Deployment request failed for e1c8fdb5728b5257c765796904257381572a6715 due to in progress deployment. Please cancel 231ae4b9cd17928cb9200a2f1f37bbea785f7a71 first or wait for it to complete.
Build project
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build project
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/cache@v3, actions/upload-artifact@v3, actions/deploy-pages@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "github-pages". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime
Name Size
github-pages Expired
438 MB