From abf451838a7f3623f6bd3bb8d1e56696b65e56a9 Mon Sep 17 00:00:00 2001
From: Dengke Tang <dengket@amazon.com>
Date: Mon, 20 Mar 2023 08:16:15 -0700
Subject: [PATCH] shows the version of php running

---
 dev-scripts/run_tests.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dev-scripts/run_tests.sh b/dev-scripts/run_tests.sh
index 848840c..d3506a8 100755
--- a/dev-scripts/run_tests.sh
+++ b/dev-scripts/run_tests.sh
@@ -22,4 +22,5 @@ if [ ! -d vendor ]; then
     $PHP_BINARY -c php.ini $COMPOSER_BINARY update
 fi
 
+$launcher $PHP_BINARY --version
 $launcher $PHP_BINARY -c php.ini vendor/bin/phpunit tests --debug