From a8487400ac787c0e753f09ae646c35b4a9dde5fd Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Thu, 26 Mar 2020 03:45:54 +0100
Subject: [PATCH] test: Add debug commands

---
 entrypoint.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/entrypoint.sh b/entrypoint.sh
index c102216..b4196b2 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -3,6 +3,13 @@
 
 set -e
 
+echo "GITHUB_WORKFLOW=$GITHUB_WORKFLOW"
+echo "GITHUB_WORKSPACE=$GITHUB_WORKSPACE"
+echo "GITHUB_ACTION=$GITHUB_ACTION"
+echo "RUNNER_OS=$RUNNER_OS"
+echo "RUNNER_TEMP=$RUNNER_TEMP"
+echo "RUNNER_WORKSPACE=$RUNNER_WORKSPACE"
+
 echorun() {
     echo "$ $*"
     "$@"