ci: Switch to /usr/bin/time
for measuring time + memory in physmon
#19370
This job succeeded
Loading
/usr/bin/time
for measuring time + memory in physmon
#19370