mirror of
https://github.com/mikeyobrien/ralph-orchestrator.git
synced 2026-04-25 15:15:57 +03:00
[PR #84] [MERGED] Add per-hat max_activations limit #127
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/ralph-orchestrator#127
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/mikeyobrien/ralph-orchestrator/pull/84
Author: @godnight10061
Created: 1/21/2026
Status: ✅ Merged
Merged: 1/21/2026
Merged by: @mikeyobrien
Base:
main← Head:fix/issue-66📝 Commits (1)
b9e17f8Add per-hat max_activations limit📊 Changes
7 files changed (+352 additions, -23 deletions)
View changed files
📝
Cargo.toml(+0 -1)📝
crates/ralph-adapters/src/cli_executor.rs(+13 -1)📝
crates/ralph-adapters/src/pty_executor.rs(+13 -0)📝
crates/ralph-core/src/config.rs(+6 -0)📝
crates/ralph-core/src/event_loop.rs(+239 -21)📝
crates/ralph-core/src/summary_writer.rs(+2 -0)➕
specs/per-hat-max-activations.spec.md(+79 -0)📄 Description
Summary:
Tests:
References:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.