diff options
author | notgne2 | 2021-01-23 01:29:44 -0700 |
---|---|---|
committer | GitHub | 2021-01-23 01:29:44 -0700 |
commit | 726d758768d7b8071dcffa14560a14f588460406 (patch) | |
tree | fe1aeaf62acbe986417c22db9202cc22ad1b77aa /src/bin/deploy.rs | |
parent | 0f0c0e17e97eeea5d3d5d378bba9393da6b218ca (diff) | |
parent | 501bfa6b721bacfa701b5276ae6be97fb1e913d8 (diff) |
Merge pull request #53 from serokell/notgne2/set-euo-pipefail
Run `set -euo pipefail` in generated activation scripts
Diffstat (limited to 'src/bin/deploy.rs')
0 files changed, 0 insertions, 0 deletions