Repository navigation
ci: update bench checker checkout slug - #8
Conversation
|
Sorry @brettheap, you've used your own review budget of 250,000 diff characters for the last 7 days. You can request another review in 13 hours and 50 minutes by commenting |
Reviewer's guide (collapsed on small PRs)Reviewer's GuideUpdates the benchmark initialization workflow to check out the renamed File-Level Changes
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
|
@codex review |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
Codex Review: Didn't find any major issues. Keep it up! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
Summary
opensoft/openBenchesfollowing the repository rename408aecf0a09e8e89519f7df0150c1ec43cda8daaPart of
rename-workbenches-to-openbenches(Speckit T009).Validation
eagle-linux-ubuntu24self-hosted runner label declaredgit diff --checkpassed; the diff contains only the checkout slug changeSummary by Sourcery
CI:
opensoft/openBenchesrepository while retaining the pinned checker commit.