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