You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In #2294, I almost introduced significant memory costs. I wonder if we should store the Max RSS (getrusage / ru_maxrss, no idea about Mac) in the benchmark JSON and make that part of the compare_benchmark output. If yes, we should make sure that it is visible for benchmark_all even without unfolding the system comparison part.
The text was updated successfully, but these errors were encountered:
In #2294, I almost introduced significant memory costs. I wonder if we should store the Max RSS (getrusage / ru_maxrss, no idea about Mac) in the benchmark JSON and make that part of the compare_benchmark output. If yes, we should make sure that it is visible for
benchmark_all
even without unfolding the system comparison part.The text was updated successfully, but these errors were encountered: