make compatible with non-coupling-enabled versions of grudge v3 #8803
Job | Run time |
---|---|
10s | |
3m 56s | |
5m 26s | |
5m 42s | |
53m 12s | |
9m 5s | |
13s | |
5h 27m 37s | |
4m 22s | |
2h 17m 15s | |
5m 16s | |
5m 34s | |
1s | |
9h 17m 49s |
Job | Run time |
---|---|
10s | |
3m 56s | |
5m 26s | |
5m 42s | |
53m 12s | |
9m 5s | |
13s | |
5h 27m 37s | |
4m 22s | |
2h 17m 15s | |
5m 16s | |
5m 34s | |
1s | |
9h 17m 49s |