Skip to content

chore: Remove obsolete GitHub labels. #3039

chore: Remove obsolete GitHub labels.

chore: Remove obsolete GitHub labels. #3039

Triggered via pull request November 15, 2024 05:39
Status Success
Total duration 45s
Artifacts

lint.yml

on: pull_request
Determine jobs to run
21s
Determine jobs to run
Rust lints
0s
Rust lints
Formatting
0s
Formatting
Cleanup  /  cleanup
5s
Cleanup / cleanup
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Determine jobs to run
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, technote-space/get-diff-action@v6. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/