tvix: fix clippy lints, add clippy to CI

#321
Opened by flokli at 2023-10-16T08·47+00

We want to address all clippy lints, either by fixing it, or adding annotations where the suggestion doesn't make sense.

We should then be able to add cl/9106, which makes new clippy lints a fail in CI.

  1. The chain starting with cl/9961 fixes all the current lints, and lets us enable the CI integration.

    tazjin at 2023-11-05T19·52+00

  2. The chain ended at cl/9106 and is now submitted.

    flokli at 2023-11-05T20·29+00

  3. flokli closed this issue at 2023-11-05T20·29+00