Hackpert: add run-scoped objective budget accounting #167

Open
nsaspy wants to merge 4 commits from hackmode-rage-hackpert/29-objective-budget into master
Owner

Superseded only because the GitHub connector cannot transition draft -> ready due an internal GraphQL schema error. Exact head 23e7d94e3de664bce7585add1191016007e1ee48 is unchanged and green on core, monorepo, and agent-framework-boundary. Reopening the identical head as a non-draft PR for merge verification.

Superseded only because the GitHub connector cannot transition draft -> ready due an internal GraphQL schema error. Exact head `23e7d94e3de664bce7585add1191016007e1ee48` is unchanged and green on core, monorepo, and agent-framework-boundary. Reopening the identical head as a non-draft PR for merge verification.
Hackpert: load objective budget module
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 9s
core / common-lisp-core (pull_request) Failing after 48s
monorepo / hygiene (pull_request) Successful in 5m34s
23e7d94e3d
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 9s
core / common-lisp-core (pull_request) Failing after 48s
monorepo / hygiene (pull_request) Successful in 5m34s
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/hackmode-tests.asd
  • source/hackmode-core/hackmode.asd
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin hackmode-rage-hackpert/29-objective-budget:hackmode-rage-hackpert/29-objective-budget
git switch hackmode-rage-hackpert/29-objective-budget

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff hackmode-rage-hackpert/29-objective-budget
git switch hackmode-rage-hackpert/29-objective-budget
git rebase master
git switch master
git merge --ff-only hackmode-rage-hackpert/29-objective-budget
git switch hackmode-rage-hackpert/29-objective-budget
git rebase master
git switch master
git merge --no-ff hackmode-rage-hackpert/29-objective-budget
git switch master
git merge --squash hackmode-rage-hackpert/29-objective-budget
git switch master
git merge --ff-only hackmode-rage-hackpert/29-objective-budget
git switch master
git merge hackmode-rage-hackpert/29-objective-budget
git push origin master
Sign in to join this conversation.
No description provided.