Skip to content
continuous integration

fix: remove MathlibExtras caching and upstreamed file #79282

Sign in to view logs

fix: remove MathlibExtras caching and upstreamed file

fix: remove MathlibExtras caching and upstreamed file #79282

Triggered via push March 19, 2024 17:51
@joehendrixjoehendrix
pushed dca4e2e
lean-pr-testing-3719
Status Cancelled
Total duration 4m 29s
Artifacts –

build.yml

on: push
Lint style
51s
Lint style
Check all files imported
15s
Check all files imported
Build
4m 20s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
12s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Build
The run was canceled by @github-actions[bot].
Build
The operation was canceled.
check workflows
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check all files imported
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Lint style
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.