diff options
| author | Jeff Epler <jepler@unpythonic.net> | 2025-09-19 10:04:52 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-09-22 10:47:31 +1000 |
| commit | 353814df59171e435708813243f47cfbcf7c1646 (patch) | |
| tree | 64d6944c03af99b1dd7d5c73ef551887dabd19e5 /ports/esp32/lockfiles | |
| parent | 8757eb715ef9da9e1da7704d552210d5bc1b76e2 (diff) | |
tools/ci.sh: Fix missing `set -e` when run as a script.HEADorigin/masterorigin/HEADmaster
This is needed to correctly stop after an error in a CI step when running
`ci.sh` as a script.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'ports/esp32/lockfiles')
0 files changed, 0 insertions, 0 deletions