Skip to content

Derive-crate cleanups from review#10

Merged
lthiery merged 2 commits into
mainfrom
derive-cleanups-main
Jul 7, 2026
Merged

Derive-crate cleanups from review#10
lthiery merged 2 commits into
mainfrom
derive-cleanups-main

Run CI on all pull requests, not just those targeting main

5527568
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rust
succeeded Jul 7, 2026 in 17s