debugging test step on UGent bot

run_tests.sh

@@ -25,6 +25,20 @@ CHECKOUT_LATEST="git checkout \${VERSION}"
 
 # Git clone has to be run in compat layer, to make the git command available
 ./run_in_compat_layer_env.sh "${TEST_CLONE} && ${LATEST_VERSION} && ${CHECKOUT_LATEST}"
+echo "DEBUG"
+getent hosts github.com
 
+echo "=== HTTPS test ==="
+curl -I https://github.com
+
+echo "=== Proxy env ==="
+env | grep -i proxy
+
+echo "=== Git proxy config ==="
+git config --list | grep proxy
+
+echo "=== Git remote test ==="
+git ls-remote https://github.com/EESSI/test-suite/ || true
+cat /etc/resolv.conf
 # Run the test suite
 ./test_suite.sh "$@"