Skip to content

Merge pull request #177 from sr-gi/202403-clippy #95

Merge pull request #177 from sr-gi/202403-clippy

Merge pull request #177 from sr-gi/202403-clippy #95

Triggered via push April 2, 2024 20:30
Status Success
Total duration 3m 58s
Artifacts
Test  /  Check Code with stable output
1m 30s
Test / Check Code with stable output
Test  /  Build and test
3m 46s
Test / Build and test
Fit to window
Zoom out
Zoom in