92a1c64 2bfbca6
1
2
3
4
5
#!/usr/bin/env bash set -euo pipefail ./scripts/run_fault_profiles.sh quick
