Jose Diaz-Gonzalez d2cf2e7b91 fix: popd out of tmp directory after a git push-based deployment ...

Without this, we end up with PWD issues as the tmp directory is removed automatically after a build.

Closes #6771

2024-03-28 20:53:31 -04:00

4.2 KiB

Executable File

Raw Blame History

View Raw