disinto/dev
openhands ef77c56217 fix: extract ci_passed() helper — fix all CI gates for no-CI projects
dev-poll.sh had 5 places checking CI_STATE='success', all blocking
projects without CI. Extracted ci_passed() helper that treats
empty/pending/unknown as pass when WOODPECKER_REPO_ID=0.
2026-03-17 09:51:18 +00:00
..
dev-agent.sh Merge pull request 'fix: dev-agent merge gate blocks projects without CI' (#43) from fix/dev-agent-merge-no-ci into main 2026-03-17 10:49:19 +01:00
dev-poll.sh fix: extract ci_passed() helper — fix all CI gates for no-CI projects 2026-03-17 09:51:18 +00:00