Update pregen bison output #243
Job | Run time |
---|---|
4m 39s | |
2m 15s | |
1m 9s | |
1m 4s | |
1m 45s | |
2m 39s | |
1m 12s | |
1m 16s | |
3m 35s | |
1m 1s | |
2m 23s | |
1m 27s | |
1m 56s | |
1m 14s | |
54s | |
1m 26s | |
1m 22s | |
1m 22s | |
1m 4s | |
3m 27s | |
55s | |
50s | |
3m 9s | |
1m 17s | |
49s | |
1m 20s | |
1m 5s | |
1m 27s | |
57s | |
1m 36s | |
1m 16s | |
2m 53s | |
54m 44s |