Replace TIMEFORMAT environment env with argument to time
Tests / Run-Tests (push) Successful in 3s Details
Benchmarks / Run-Benchmarks (push) Has been cancelled Details

multiline-output
drunkendog 2023-09-16 22:32:07 +01:00
parent 5ac7429775
commit 382baeb9be
1 changed files with 1 additions and 1 deletions

View File

@ -19,6 +19,6 @@ do
done done
export DEBIAN_FRONTEND=noninteractive export DEBIAN_FRONTEND=noninteractive
TIMEFORMAT=%0R /usr/bin/time ${@:1} > /dev/null /usr/bin/time -f "%e" ${@:1} > /dev/null
cd ../ && rm -rf temp/ cd ../ && rm -rf temp/