Skip to content

ci: avoid duplicate DWARF query perf gates#211

Merged
swananan merged 1 commit into
mainfrom
ci/dwarf-perf-query-gate
May 30, 2026
Merged

ci: avoid duplicate DWARF query perf gates#211
swananan merged 1 commit into
mainfrom
ci/dwarf-perf-query-gate

Conversation

@swananan
Copy link
Copy Markdown
Owner

Enforce the shared source-line query benchmark only once per DWARF perf comparison set. The remaining parse targets still gate their own parse and index metrics, while summaries record why query metrics were skipped.

Enforce the shared source-line query benchmark only once per DWARF perf
comparison set. The remaining parse targets still gate their own parse and
index metrics, while summaries record why query metrics were skipped.
@swananan swananan force-pushed the ci/dwarf-perf-query-gate branch from 84fbbc4 to 8277d04 Compare May 30, 2026 01:37
@swananan swananan merged commit 2d1f697 into main May 30, 2026
10 checks passed
@swananan swananan deleted the ci/dwarf-perf-query-gate branch May 30, 2026 02:23
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