fiat-constify: filter out let mut
declarations (#1057)
#1627
Job | Run time |
---|---|
45s | |
36s | |
37s | |
18s | |
32s | |
23s | |
34s | |
3m 45s |
let mut
declarations (#1057)
#1627
Job | Run time |
---|---|
45s | |
36s | |
37s | |
18s | |
32s | |
23s | |
34s | |
3m 45s |