CI allows to merge things with Clippy warnings

[TimJentzsch]

Really not sure what's going on here...

Some dead code warnings only seem to appear on main and not in the PRs.
For example, right now we have a CI run failing on main, but it obviously passed the PR CI.

Interestingly, I also didn't get this warning emitted locally in VS Code until I changed back to main, so maybe it's not just a CI thing?

[BD103]

Looks like the regression was introduced with #103. My guess is that the branch wasn't updated from main, or the cache was broken somehow.

Either way, this specific error will be fixed by #120. I'll purge the cache, and we'll see if this comes back up in the future.

[BD103]

Cache has been purged. For future reference, I used this snippet to do so:

for i in $(gh cache list --json id --jq '.[].id'); do
    gh cache delete $i
done

[BD103]

There have been 3 PRs merged since Clippy failed on 5cd2719, and all of them passed (with 80c81b6 as the latest). I'm going to close this, assuming it has been fixed.