Skip to content
Lint

Fix diff-friendly formatting #1107

Sign in to view logs

Fix diff-friendly formatting

Fix diff-friendly formatting #1107

Triggered via push November 18, 2024 10:34
@GnomedDevGnomedDev
pushed 0588329
permissions-cleanup
Status Success
Total duration 2m 16s
Artifacts –

lint.yml

on: push
Clippy
2m 3s
Clippy
Format
17s
Format
Fit to window
Zoom out
Zoom in