fiat-constify: filter out let mut
declarations (#1057)
#1640
Job | Run time |
---|---|
21s | |
21s | |
11s | |
1m 5s | |
29s | |
6s | |
1m 3s | |
3m 36s |
let mut
declarations (#1057)
#1640
Job | Run time |
---|---|
21s | |
21s | |
11s | |
1m 5s | |
29s | |
6s | |
1m 3s | |
3m 36s |