Skip to content

ci: run Format and Clippy in the pinned debian image - #329

Merged
pierre-warnier merged 1 commit into
mainfrom
ci/clippy-in-the-image
Oct 5, 2026
Merged

pierre-warnier merged 1 commit into
mainfrom
ci/clippy-in-the-image

ci: run Format and Clippy in the pinned debian image

17f0bfc
Select commit
Loading
Failed to load commit list.