chore: fix clippy warnings, modernize CI#212
Merged
seanmonstar merged 1 commit intoseanmonstar:masterfrom Oct 31, 2025
CathalMullan:master
Merged
chore: fix clippy warnings, modernize CI#212seanmonstar merged 1 commit intoseanmonstar:masterfrom CathalMullan:master
seanmonstar merged 1 commit intoseanmonstar:masterfrom
CathalMullan:master