Skip to content

[ derive ] Support printing derived gens with Idris representation #1512

[ derive ] Support printing derived gens with Idris representation

[ derive ] Support printing derived gens with Idris representation #1512

Job Run time
5m 4s
14s
1m 45s
1m 33s
2s
5s
4m 12s
4m 52s
2m 31s
2m 5s
5m 41s
5m 3s
1m 20s
3m 9s
4m 35s
2m 45s
2m 44s
3m 16s
2m 21s
1m 11s
1m 15s
1m 15s
1m 16s
1m 23s
1m 46s
1m 57s
7m 2s
5m 58s
1m 32s
2m 21s
5m 48s
1m 12s
2m 10s
1m 10s
1m 30s
1m 17s
7m 31s
27m 13s
1m 21s
4m 5s
5m 11s
11m 59s
7m 37s
2h 38m 17s