Fix 1 clippy warning and annotate another one #850
kani.yml
on: push
write-json-symtab-regression
13m 16s
benchcomp-tests
3m 22s
perf
31m 53s
bookrunner
14m 4s
Matrix: regression