Skip to content

Conversation

WireBaron
Copy link
Contributor

This changes adds new num_live_ranges, num_gaps, and trim_to accessors to heartbeat_agg.

@WireBaron WireBaron requested review from syvb and thatzopoulos April 1, 2023 02:17
This changes adds new num_live_ranges, num_gaps, and trim_to accessors to
heartbeat_agg.
@WireBaron WireBaron force-pushed the br/heartbeat_agg_accessors branch from 260c40e to 9160952 Compare April 1, 2023 02:18
@WireBaron
Copy link
Contributor Author

bors r+

@bors bors bot merged commit 06c1a0b into main Apr 3, 2023
@bors bors bot deleted the br/heartbeat_agg_accessors branch April 3, 2023 23:58
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.

2 participants