Skip to content

Idris2 pretty printer initial support #1664

Idris2 pretty printer initial support

Idris2 pretty printer initial support #1664

Job Run time
16s
5m 25s
1m 41s
1m 46s
4s
3s
4m 34s
15m 35s
1m 32s
3m 0s
3m 10s
6m 41s
5m 39s
4m 3s
4m 51s
2m 31s
2m 13s
5m 37s
5m 11s
1m 34s
2m 35s
3m 43s
3m 5s
2m 33s
3m 4s
3m 9s
1m 27s
1m 15s
1m 32s
1m 24s
1m 30s
1m 31s
1m 59s
7m 16s
5m 37s
1m 33s
2m 2s
5m 19s
1m 20s
2m 14s
1m 26s
1m 42s
1m 36s
3m 33s
2h 17m 51s