[CI] work with 'time' is corrected

AltLinux 10 does not support the sequential "time <set_env> coverage run ...". Because this OS does not has a builtin command 'time' in bash. https://forum.altlinux.org/index.php?topic=48342.0 We will install 'time' manually and use another command "<set_env> time coverage run ..." that works without problems but it requires to install 'time' on Ubuntu 2024.04, too. AlpineLinux processes a new command line without any problems.
postgrespro · dmitry-lipetsk · Mar 24, 2025 · Mar 16, 2025 · Mar 16, 2025 · Mar 16, 2025
commit 126608d4c2f654122b29e132a97ea32112440c4b
diff --git a/Dockerfile--ubuntu_24_04.tmpl b/Dockerfile--ubuntu_24_04.tmpl
@@ -9,6 +9,7 @@ RUN apt update
 RUN apt install -y sudo curl ca-certificates
 RUN apt update
 RUN apt install -y openssh-server
+RUN apt install -y time
 
 RUN apt update
 RUN apt install -y postgresql-common

diff --git a/run_tests.sh b/run_tests.sh
@@ -45,15 +45,13 @@ time coverage run -a -m pytest -l -v -n 4 -k "${TEST_FILTER}"
 
 
 # run tests (PG_BIN)
-time \
-	PG_BIN=$(pg_config --bindir) \
-	coverage run -a -m pytest -l -v -n 4 -k "${TEST_FILTER}"
+PG_BIN=$(pg_config --bindir) \
+time coverage run -a -m pytest -l -v -n 4 -k "${TEST_FILTER}"
 
 
 # run tests (PG_CONFIG)
-time \
-	PG_CONFIG=$(pg_config --bindir)/pg_config \
-	coverage run -a -m pytest -l -v -n 4 -k "${TEST_FILTER}"
+PG_CONFIG=$(pg_config --bindir)/pg_config \
+time coverage run -a -m pytest -l -v -n 4 -k "${TEST_FILTER}"
 
 
 # show coverage