maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
216 stars 43 forks source link

Add `set -eo pipefail` to all scripts #567

Closed maxitg closed 3 years ago

maxitg commented 3 years ago

The problem

Without pipefail, scripts might silently fail, which could be potentially dangerous, e.g., check the Lint step here.

We need to add set -eo pipefail in the beginning of ./lint.sh (and other scripts) to fix that.

Expected behavior

Errors in scripts should cause CI to fail.

Version

The weed is present in 889ac0b.