KB-46F7
RERUN.sh
1 min read Revision 1
fix7codexauthority-sealauthored2026-06-11
#!/usr/bin/env bash set -euo pipefail trap 'echo "RERUN_RESULT: FAIL (line $LINENO)"; exit 1' ERR cd "$(dirname "$0")" bash commands.sh echo "RERUN_RESULT: PASS"
#!/usr/bin/env bash set -euo pipefail trap 'echo "RERUN_RESULT: FAIL (line $LINENO)"; exit 1' ERR cd "$(dirname "$0")" bash commands.sh echo "RERUN_RESULT: PASS"