Update devx

input-output-hk · Mar 31, 2023 · 44ae49a · 44ae49a
1 parent 3600f3a
commit 44ae49a
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/extra/devx b/extra/devx
@@ -1,8 +1,4 @@
 #!/usr/bin/bash
 
-set +x
-pwd
-
 source /usr/bin/devx-env.sh
-source "$1"
-echo "PWD=\"$(pwd)\"" >> $GITHUB_ENV
+source "$1"