ci: Switch to /usr/bin/time
for measuring time + memory in physmon
#19370
Job | Run time |
---|---|
4s | |
4s | |
18s | |
8s | |
7s | |
8s | |
4s | |
6s | |
4s | |
3s | |
30s | |
11m 28s | |
6s | |
1m 50s | |
15m 0s |