Skip to content

ci: better ci steps and pinned actions#58

Merged
raphaelrobert merged 2 commits into
mainfrom
overhaul-ci
Jun 28, 2026
Merged

ci: better ci steps and pinned actions#58
raphaelrobert merged 2 commits into
mainfrom
overhaul-ci

newer actions

6141c14
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clippy
succeeded Jun 28, 2026 in 14s