Unverified Commit 22709e3f authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Pipefail

parent 28f7fce7

run/run.sh

+1 −4
Original line number Diff line number Diff line 
#!/usr/bin/env bash

set -Eeu

set -o errexit

set -o pipefail

set -o nounset

set -Eeuo pipefail



# Docker environment variables