test: Add debug commands

coq-community · Mar 26, 2020 · a848740 · a848740
1 parent 3b1c701
commit a848740
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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 "$ $*"
     "$@"