aarch64 crefine: make proof generic in cacheLineBits #976
Job | Run time |
---|---|
28s | |
0s | |
2s | |
0s | |
0s | |
2h 35m 52s | |
12m 11s | |
2h 36m 33s | |
2h 34m 50s | |
1h 15m 30s | |
3h 20m 53s | |
1h 15m 6s | |
2h 49m 2s | |
2h 59m 31s | |
15m 9s | |
2h 47m 37s | |
12m 58s | |
2h 53m 45s | |
1m 21s | |
1d 1h 50m 48s |