Skip to content

Eta labels - #59

Merged
mduncans merged 2 commits into
mainfrom
eta-labels
Sep 11, 2026
Merged

mduncans merged 2 commits into
mainfrom
eta-labels

Conversation

@mduncans

Copy link
Copy Markdown
Collaborator

add ability to skip fixed eta_labels. update pharos rep for new heuristic.

@mduncans
mduncans merged commit 3921dc8 into main Sep 11, 2026
6 checks passed
@mduncans
mduncans deleted the eta-labels branch September 11, 2026 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant