mirror of
https://github.com/nasa/trick.git
synced 2025-01-29 15:43:57 +00:00
3a261929e8
If there were bad runs, the master will now exit with a non-zero status.