5fa1a76
1
2
3
So the following workaround can be used: set +euo pipefail at the beginning of the run command to suppress most potential failures in the bash script.