Cache error_text()
instead of check_error()
(#552)
#77
Job | Run time |
---|---|
37s | |
37s | |
42s | |
44s | |
45s | |
38s | |
44s | |
42s | |
42s | |
45s | |
46s | |
1m 1s | |
59s | |
46s | |
44s | |
38s | |
11m 50s |