Close #498 - Change the LogMessage
parameter in the log(F[A])
method from NotIgnorable
to MaybeIgnorable
#1103
Job | Run time |
---|---|
5m 24s | |
4m 48s | |
3m 52s | |
14m 4s |