Skip to content
Clippy Check

Replace globals with editor environment #6046

Sign in to view logs

Replace globals with editor environment

Replace globals with editor environment #6046

Triggered via pull request January 19, 2026 16:33
@timon-schellingtimon-schelling
synchronize #3656
replace-globals
Status Skipped
Total duration 2s
Artifacts –

comment-clippy-warnings.yaml

on: pull_request
Run Clippy
0s
Run Clippy
Fit to window
Zoom out
Zoom in