Skip to content

Conversation

DilumAluthge
Copy link
Member

@DilumAluthge DilumAluthge commented Jul 28, 2023

@Zentrik
Copy link
Contributor

Zentrik commented Dec 28, 2023

I've rebased and fixed some bugs I encountered here, https://github.com/Zentrik/BenchmarkTools.jl/tree/linux-perf. Is there anything to do to get this merged?

@DilumAluthge
Copy link
Member Author

Can you open a new PR? Then I'll close my PR in favor of yours.

@Zentrik
Copy link
Contributor

Zentrik commented Dec 28, 2023

Done

@DilumAluthge
Copy link
Member Author

Closing in favor of #347

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