Skip to content
continuous integration (mathlib forks)

chore: bump toolchain to v4.7.0 (#11864) #1

Sign in to view logs

chore: bump toolchain to v4.7.0 (#11864)

chore: bump toolchain to v4.7.0 (#11864) #1

Triggered via push June 22, 2024 14:59
@realharryherorealharryhero
pushed a45ae63
main
Status Success
Total duration 57m 51s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
43s
Lint style (fork)
Check all files imported (fork)
9s
Check all files imported (fork)
Build (fork)
57m 26s
Build (fork)
Cancel Previous Runs (CI)
0s
Cancel Previous Runs (CI)
check workflows (fork)
7s
check workflows (fork)
Post-CI job (fork)
7s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build (fork)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: liskin/gh-problem-matcher-wrap@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Post-CI job (fork)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: 8BitJonny/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.