Skip to content

[ gen ] Add an associative binary composition fun merging alternatives #1520

[ gen ] Add an associative binary composition fun merging alternatives

[ gen ] Add an associative binary composition fun merging alternatives #1520

Job Run time
5m 24s
14s
1m 35s
1m 18s
4s
5s
7m 30s
27m 30s
1m 37s
4m 44s
5m 15s
12m 1s
7m 49s
4m 15s
4m 57s
2m 31s
2m 5s
5m 35s
5m 7s
1m 20s
3m 5s
4m 51s
2m 44s
2m 37s
3m 23s
2m 29s
1m 13s
1m 16s
1m 33s
1m 15s
1m 25s
1m 33s
2m 0s
7m 7s
5m 41s
1m 48s
2m 20s
5m 30s
1m 18s
2m 11s
1m 35s
1m 51s
1m 20s
2h 41m 1s