Lean: Add parsing for duration
in the datetime
extension
#1175
Job | Run time |
---|---|
1s | |
4m 44s | |
4m 38s | |
11m 26s | |
7m 55s | |
28m 44s |
duration
in the datetime
extension
#1175
Job | Run time |
---|---|
1s | |
4m 44s | |
4m 38s | |
11m 26s | |
7m 55s | |
28m 44s |