fix: Provide -compileSuffix to dafny when available #837
Job | Run time |
---|---|
1m 28s | |
1m 39s | |
1m 55s | |
1m 39s | |
1m 48s | |
2m 4s | |
1m 26s | |
1m 58s | |
1m 39s | |
1m 29s | |
1m 29s | |
1m 27s | |
1m 41s | |
1m 30s | |
1m 44s | |
1m 37s | |
1m 28s | |
1m 27s | |
2m 21s | |
1m 58s | |
1m 46s | |
1m 31s | |
1m 24s | |
38m 28s |