Change the structure of the GenT monad, to better track explanations. #17004
Job | Run time |
---|---|
45s | |
4s | |
10s | |
15m 40s | |
15m 40s | |
5m 24s | |
13s | |
15m 39s | |
15m 41s | |
15m 41s | |
1s | |
1s | |
1s | |
1h 25m 0s |
Job | Run time |
---|---|
45s | |
4s | |
10s | |
15m 40s | |
15m 40s | |
5m 24s | |
13s | |
15m 39s | |
15m 41s | |
15m 41s | |
1s | |
1s | |
1s | |
1h 25m 0s |