New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

add pagination to history() #19

Merged

boshek merged 1 commit into main from aus/history_pag

Oct 30, 2023

Member

austin3dickey commented Oct 25, 2023

This PR responds to the change made in conbench/conbench#1514.


          add pagination to history()

af4151c

austin3dickey requested a review from boshek

October 25, 2023 16:00

boshek approved these changes

View reviewed changes

Collaborator

boshek left a comment

Thanks again for doing this! Looks great. One follow up that I thought of while reading your changelog entry: #20

boshek merged commit 4e0a932 into main

5 checks passed

boshek deleted the aus/history_pag branch

October 30, 2023 19:34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet