Skip to content
continuous integration (mathlib forks)

Merge remote-tracking branch 'origin/master' into eric-wieser/move-nn… #72915

Sign in to view logs

Merge remote-tracking branch 'origin/master' into eric-wieser/move-nn…

Merge remote-tracking branch 'origin/master' into eric-wieser/move-nn… #72915

Triggered via push February 1, 2024 16:47
@eric-wiesereric-wieser
pushed 5372266
eric-wieser/move-nnrat-module
Status Success
Total duration 11s
Artifacts –

build_fork.yml

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

Annotations

1 warning
Cancel Previous Runs (CI)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: styfle/cancel-workflow-action@0.11.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.