Fix monotonic_time/1
and system_time/1
with pico (fix #786)
#2205
Job | Run time |
---|---|
2m 40s | |
4m 2s | |
0s | |
11m 34s | |
10m 11s | |
9m 48s | |
38m 15s |
monotonic_time/1
and system_time/1
with pico (fix #786)
#2205
Job | Run time |
---|---|
2m 40s | |
4m 2s | |
0s | |
11m 34s | |
10m 11s | |
9m 48s | |
38m 15s |