Add a type class for showing values at elaboration time #133
Job | Run time |
---|---|
7s | |
2m 8s | |
23s | |
1m 59s | |
14m 34s | |
9s | |
2m 41s | |
8m 0s | |
6m 24s | |
22m 53s | |
10m 28s | |
10m 54s | |
9m 58s | |
10m 42s | |
8m 35s | |
5m 54s | |
8m 36s | |
7m 13s | |
8m 33s | |
8m 36s | |
8m 43s | |
9m 24s | |
2m 35s | |
58m 19s | |
1m 35s | |
9m 45s | |
2m 40s | |
56m 33s | |
1m 40s | |
9m 23s | |
2m 37s | |
57m 22s | |
1m 41s | |
1m 59s | |
3m 2s | |
13m 49s | |
1h 6m 26s | |
1m 48s | |
2m 34s | |
9m 44s | |
58m 17s | |
9m 29s | |
1h 1m 28s | |
1m 47s | |
2m 51s | |
2m 34s | |
48s | |
48m 11s | |
7m 21s | |
6m 53s | |
47m 7s | |
2m 15s | |
40s | |
2m 14s | |
8m 2s | |
48m 28s | |
39s | |
49m 51s | |
3m 6s | |
7m 49s | |
39s | |
15m 48s | |
1h 35m 38s | |
1m 20s | |
4m 6s | |
7m 58s | |
2m 16s | |
1h 2m 2s | |
42s | |
17h 10m 45s |