Skip to content
continuous integration

replace refine' tactics #92116

Sign in to view logs

replace refine' tactics

replace refine' tactics #92116

Triggered via push May 18, 2024 13:38
@JovanGerbJovanGerb
pushed 1918342
lean-pr-testing-4206
Status Success
Total duration 26m 3s
Artifacts –

build.yml

on: push
Lint style
41s
Lint style
Check all files imported
9s
Check all files imported
Build
25m 41s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
summarize_declarations
25s
summarize_declarations
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Post-CI job
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/.