From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 May 2026 21:44:02 +0000 (+0000)
Subject: Merge branch 'clippy' into 'main'
X-Git-Tag: debian/1.3.3~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=909c49f023a8dd8ec2dd679cf49cf33628f328e4;p=hippotat.git

Merge branch 'clippy' into 'main'

Fix clippy lints and add clippy to CI

See merge request iwj/hippotat!74
---

909c49f023a8dd8ec2dd679cf49cf33628f328e4
diff --cc .gitlab-ci.yml
index f6ba478,db32a50..f69d61f
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@@ -24,8 -24,17 +24,17 @@@ cargo-test
    stage: test
    image: "rust:latest"
    script:
 -    - cargo test --locked --workspace --verbose --all-features
 +    - cargo test --locked --workspace --all-features
  
+ cargo-clippy:
+   stage: test
+   # This can fail when new lints turn up.  So we pin the compiler.
+   # We should update this (when we switch from trixie to forky, at least).
+   image: "rust:1.95.0"
+   script:
+     - rustup component add clippy
+     - cargo clippy --locked --workspace --all-features
+ 
  cargo-update-test-nightly:
    stage: test
    image: "rustlang/rust:nightly"