Skip to content

Update PFR/Mathlib/Probability/Kernel/Composition.lean #69

Update PFR/Mathlib/Probability/Kernel/Composition.lean

Update PFR/Mathlib/Probability/Kernel/Composition.lean #69

Triggered via push September 5, 2024 11:55
Status Failure
Total duration 12m 30s
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 cce3a2ee1044388e338215fe48d40bdfd4c0bf61 due to in progress deployment. Please cancel da176df031c2d0a73d9c72a673da7a0bfb4af602 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 cce3a2ee1044388e338215fe48d40bdfd4c0bf61. Responded with: Deployment request failed for cce3a2ee1044388e338215fe48d40bdfd4c0bf61 due to in progress deployment. Please cancel da176df031c2d0a73d9c72a673da7a0bfb4af602 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
380 MB