chiark / gitweb /
Merge branch 'clippy' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 21:44:02 +0000 (21:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 21:44:02 +0000 (21:44 +0000)
commit909c49f023a8dd8ec2dd679cf49cf33628f328e4
treec3ae001f2b1ee638499f45e9140214a502a3cac4
parent874891cfed85392881ad907785c3fbccec175d78
parente88b79e6a823a0a453fc4991b3324599fa060f09
Merge branch 'clippy' into 'main'

Fix clippy lints and add clippy to CI

See merge request iwj/hippotat!74
.gitlab-ci.yml