Merge pull request 'fix: fix: bundled dust cleanup — set-euo-pipefail (#516)' (#523) from fix/issue-516 into main
This commit is contained in:
commit
21750d3339
3 changed files with 3 additions and 0 deletions
|
|
@ -1,4 +1,5 @@
|
|||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
# ci-helpers.sh — Shared CI helper functions
|
||||
#
|
||||
# Source from any script: source "$(dirname "$0")/../lib/ci-helpers.sh"
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
# parse-deps.sh — Extract dependency issue numbers from an issue body
|
||||
#
|
||||
# Usage:
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
# supervisor-poll.sh — Supervisor agent: bash checks + claude -p for fixes
|
||||
#
|
||||
# Two-layer architecture:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue