chore: logging Jenkins env to find out what can be used

waku-org · Aug 16, 2023 · 8a383ee · 8a383ee
1 parent 9e6c09e
commit 8a383ee
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ci/Jenkinsfile.tests b/ci/Jenkinsfile.tests
@@ -39,7 +39,9 @@ pipeline {
     }
 
     stage('Test') {
-      steps { script { dir(env.REPO) {
+      steps {
+        echo "env is $env"
+        script { dir(env.REPO) {
         if (env.JOB_BASE_NAME == "race") {
           nix.develop('make test-with-race', pure: false)
         }else {