(run_dir: Path, cmd: list[str])
| 308 | |
| 309 | |
| 310 | def write_commands(run_dir: Path, cmd: list[str]) -> None: |
| 311 | write_text( |
| 312 | run_dir / "commands.sh", "#!/usr/bin/env bash\nset -euo pipefail\n" + shlex.join(cmd) + "\n" |
| 313 | ) |
| 314 | |
| 315 | |
| 316 | def write_summary( |