Nothing Special   »   [go: up one dir, main page]

Skip to content

Merge pull request 'clippy fixes' (#205) from small-clippy-fix into main #151

Merge pull request 'clippy fixes' (#205) from small-clippy-fix into main

Merge pull request 'clippy fixes' (#205) from small-clippy-fix into main #151

Triggered via push November 4, 2024 12:55
Status Success
Total duration 1m 45s
Artifacts

ci.yml

on: push
Run Tests
1m 29s
Run Tests
Check formatting
12s
Check formatting
Check Documentation Build
42s
Check Documentation Build
Clippy
32s
Clippy
Matrix: Check build
Matrix: Check Cross-Compilation
Fit to window
Zoom out
Zoom in