Skip to content

Update CI: replace archived actions, enforce clippy, pin linelint#504

Merged
gcomte merged 2 commits intomasterfrom
fix/update-ci-actions
Mar 30, 2026
Merged

Update CI: replace archived actions, enforce clippy, pin linelint#504
gcomte merged 2 commits intomasterfrom
fix/update-ci-actions

Commits

Commits on Mar 30, 2026