Remove implementation_from_dafny.rs from git (#523) #88
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
5m 28s | |
7m 10s | |
7m 56s | |
7m 36s | |
5m 35s | |
6m 29s | |
9m 6s | |
5m 58s | |
6m 47s | |
6m 55s | |
8m 12s | |
5m 57s | |
7m 46s | |
6m 5s | |
7m 57s | |
7m 47s | |
6m 5s | |
6m 38s | |
5m 49s | |
5m 48s | |
6m 11s | |
6m 10s | |
7m 23s | |
7m 3s | |
7m 16s | |
6m 15s | |
7m 8s | |
6m 33s | |
5m 25s | |
6m 6s | |
8m 2s | |
7m 27s | |
9m 8s | |
6m 38s | |
5m 22s | |
5m 41s | |
6m 28s | |
5m 29s | |
5m 51s | |
5m 55s | |
7m 10s | |
5m 54s | |
7m 34s | |
5m 59s | |
5m 56s | |
7m 25s | |
5m 47s | |
5m 43s | |
6m 37s | |
5m 21s | |
6m 11s | |
5m 48s | |
5m 56s | |
5m 9s | |
5m 33s | |
6h 0m 46s |