extract: Don't crash when the error is not an ErrorPrimitiveReached
…
#77
Job | Run time |
---|---|
1m 12s | |
21s | |
1m 26s | |
2m 59s |
ErrorPrimitiveReached
…
#77
Job | Run time |
---|---|
1m 12s | |
21s | |
1m 26s | |
2m 59s |