time_threshold filter and improved formatting
#19
| Job | Run time |
|---|---|
| 23s | |
| 23s |
time_threshold filter and improved formatting
#19
| Job | Run time |
|---|---|
| 23s | |
| 23s |