fiat-constify: filter out let mut
declarations (#1057)
#614
Job | Run time |
---|---|
48s | |
53s | |
20s | |
17s | |
16s | |
8s | |
1m 8s | |
50s | |
1m 16s | |
31s | |
1m 0s | |
33s | |
21s | |
12s | |
35s | |
21s | |
39s | |
1m 45s | |
1m 30s | |
13m 23s |