Skip to content

Pin merged workspace revisions for benchmark refresh - #7

Merged
asteinh merged 1 commit into
developfrom
benchmarks/plan-sized-workspace-refresh
Jul 20, 2026
Merged

Pin merged workspace revisions for benchmark refresh#7
asteinh merged 1 commit into
developfrom
benchmarks/plan-sized-workspace-refresh

Conversation

@asteinh

@asteinh asteinh commented Jul 20, 2026

Copy link
Copy Markdown
Member

The canonical SiliconRig runner requires clean sibling checkouts at the exact revisions in core-versions.json. Update the compiler/runtime and compatibility pins from their pre-merge feature commits to the corresponding merged develop heads before capturing fresh plan-sized-workspace results.

@asteinh
asteinh merged commit 4b7796a into develop Jul 20, 2026
2 checks passed
@asteinh
asteinh deleted the benchmarks/plan-sized-workspace-refresh branch July 20, 2026 15:11
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