stdlib: add auto formatting to the shell #13595
Job | Run time |
---|---|
16m 11s | |
2s | |
6m 39s | |
9m 6s | |
7m 57s | |
0s | |
13m 38s | |
6m 11s | |
13m 27s | |
8m 48s | |
6m 40s | |
1h 1m 18s | |
35m 35s | |
0s | |
10m 24s | |
3h 15m 56s |
Job | Run time |
---|---|
16m 11s | |
2s | |
6m 39s | |
9m 6s | |
7m 57s | |
0s | |
13m 38s | |
6m 11s | |
13m 27s | |
8m 48s | |
6m 40s | |
1h 1m 18s | |
35m 35s | |
0s | |
10m 24s | |
3h 15m 56s |