Skip to content

feat: add batch fix & implement pipeline script #871

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
zazabap wants to merge 1 commit into
base: main
Choose a base branch
from
Open

feat: add batch fix & implement pipeline script #871

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Makefile for problemreductions

.PHONY: help build test mcp-test fmt clippy doc mdbook paper clean coverage rust-export compare qubo-testdata export-schemas release run-plan run-issue run-pipeline run-pipeline-forever run-review run-review-forever board-next board-claim board-ack board-move issue-context issue-guards pr-context pr-wait-ci worktree-issue worktree-pr diagrams jl-testdata cli cli-demo copilot-review
.PHONY: help build test mcp-test fmt clippy doc mdbook paper clean coverage rust-export compare qubo-testdata export-schemas release run-plan run-issue run-pipeline run-pipeline-forever run-review run-review-forever board-next board-claim board-ack board-move issue-context issue-guards pr-context pr-wait-ci worktree-issue worktree-pr diagrams jl-testdata cli cli-demo copilot-review run-batch

RUNNER ?= codex
CLAUDE_MODEL ?= opus
Expand Down Expand Up @@ -39,6 +39,7 @@ help:
@echo " run-pipeline-forever - Loop: poll Ready column for new issues, run-pipeline when new ones appear"
@echo " run-review [N=<number>] - Pick PR from Review pool, fix comments/CI, run agentic tests"
@echo " run-review-forever - Loop: poll Review pool for eligible PRs, dispatch run-review"
@echo " run-batch ISSUES='N ...' - Batch fix + implement issues into single PR"
@echo " board-next MODE=<ready|review|final-review> [NUMBER=<n>] [FORMAT=text|json] - Get the next eligible queued project item"
@echo " board-claim MODE=<ready|review> [NUMBER=<n>] [FORMAT=text|json] - Claim and move the next eligible queued project item"
@echo " board-ack MODE=<ready|review|final-review> ITEM=<id> - Acknowledge a queued project item"
Expand Down Expand Up @@ -587,6 +588,12 @@ run-review-forever:
if [ -z "$$REPO" ]; then echo "Failed to detect repo (empty result)"; exit 1; fi; \
MAKE=$(MAKE) watch_and_dispatch review run-review "Review pool PRs" "$$REPO"

# Batch fix + implement issues into a single PR
# Usage: make run-batch ISSUES="238 381 166 ..."
# make run-batch ISSUES="238 381" JOBS=4
run-batch:
python3 scripts/pipeline_batch.py fix-and-implement $(ISSUES) $(if $(JOBS),--jobs $(JOBS),)

# Request Copilot code review on the current PR
# Requires: gh extension install ChrisCarini/gh-copilot-review
copilot-review:
Expand Down
Loading
Loading