Skip to content

Merge pull request #18822 from github/redsun82/rust-lint #9420

Merge pull request #18822 from github/redsun82/rust-lint

Merge pull request #18822 from github/redsun82/rust-lint #9420

Triggered via push February 24, 2025 11:48
Status Success
Total duration 1m 6s
Artifacts 1

query-list.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
code-scanning-query-list Expired
73.5 KB
sha256:6a46e9f71f986b4cfe97a1e35c67756dbf0aabca2ff95a9b0eae05ae8d5307e2