Skip to content

Add menhir support (#781) #1227

Add menhir support (#781)

Add menhir support (#781) #1227

Job Run time
5s
5s
3m 29s
2m 50s
3m 7s
1m 59s
2m 53s
1m 46s
2m 53s
2m 39s
2m 49s
1m 45s
2m 1s
2m 36s
1m 49s
1m 35s
1m 52s
2m 22s
1m 46s
2m 8s
2m 1s
1m 40s
2m 0s
1m 21s
1m 48s
1m 54s
1m 45s
1m 48s
1m 54s
1m 42s
1m 37s
1m 45s
1m 40s
1m 44s
1m 53s
1m 48s
2m 0s
1m 55s
2m 2s
2m 5s
2m 0s
1m 30s
1m 55s
1m 56s
1m 46s
1m 49s
1m 47s
1m 46s
1m 49s
1m 50s
1m 56s
1m 46s
1m 44s
1m 47s
1m 50s
1m 57s
1m 49s
1m 49s
1m 53s
1m 21s
2m 5s
1m 52s
1m 41s
1m 52s
1m 45s
1m 44s
1m 48s
1m 46s
1m 49s
1m 49s
1m 39s
2h 14m 41s