Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Sorted tables #41

Merged
merged 3 commits into from
Dec 15, 2024
Merged

Sorted tables #41

merged 3 commits into from
Dec 15, 2024

Conversation

martindevans
Copy link
Contributor

Minimum changes required to output tables sorted by time, as discussed in #37.

The same changes are also in #36, but that's a much larger PR with several changes, so I've pulled it out into a smaller/easier to review PR here.

@martindevans
Copy link
Contributor Author

Note: I didn't re-order all of the tables in the readme, since that will happen automatically whenever the benchmark is next run.

@Doraku Doraku merged commit afbd0e2 into Doraku:master Dec 15, 2024
1 check passed
@martindevans martindevans deleted the sorted_tables branch December 15, 2024 15:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants