Skip to content

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

[ derive ] Support printing derived gens with Idris representation

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

Job Run time
5m 20s
14s
1m 36s
1m 39s
4s
7s
7m 34s
27m 40s
1m 39s
4m 24s
5m 8s
12m 6s
7m 47s
4m 27s
4m 50s
3m 3s
2m 8s
5m 16s
5m 0s
1m 17s
3m 22s
4m 42s
2m 58s
2m 41s
4m 57s
2m 20s
1m 9s
1m 14s
1m 18s
1m 15s
1m 21s
1m 34s
2m 12s
7m 10s
6m 2s
1m 42s
2m 13s
5m 34s
1m 24s
2m 10s
1m 8s
1m 29s
1m 16s
2h 42m 30s