feat(ci): /ci run [wildcard] forge command#276

Merged

DerDennisOP merged 11 commits into

mainfrom

feat/issue-274-ci-run-wildcard

May 26, 2026

Commits on May 26, 2026

test(web): parse_ci_run_command captures optional wildcard arg (issue #274)
DerDennisOP
committed
feat(web): parse_ci_run_command captures optional wildcard arg (issue #274)
DerDennisOP
committed
test(core): unpark_approval_with_wildcard overrides eval wildcard (issue #274)
DerDennisOP
committed
feat(core): unpark_approval_with_wildcard for per-run wildcard override (issue #274)
DerDennisOP
committed
feat(core): CiReporter::post_pr_comment trait method with no-op default (issue #274)
DerDennisOP
committed
feat(core): GiteaReporter::post_pr_comment posts to issues comments endpoint (issue #274)
DerDennisOP
committed
feat(core): GithubReporter + GithubAppReporter::post_pr_comment (issue #274)
DerDennisOP
committed
feat(core): GitlabReporter::post_pr_comment posts to MR notes endpoint (issue #274)
DerDennisOP
committed
test(test-support): RecordingCiReporter records PR comment calls (issue #274)
DerDennisOP
committed
feat(web): /ci run wildcard override + reply on parse error (issue #274)
DerDennisOP
committed
docs: /ci run optional wildcard + new test inventory (issue #274)
DerDennisOP
committed