Skip to content
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.

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

Do pagination on the History/Log page #737

Merged
merged 5 commits into from Sep 8, 2019

Conversation

@kimsaehun
Copy link
Contributor

commented Sep 7, 2019

Fixes #305

I added an "Older" button at the bottom of the page that will retrieve older logs from the database.

GitHub alerted me that the branches could not be automatically merged but I've done a git rebase which I believe was performed correctly.

Copy link
Member

left a comment

bors r+

bors bot added a commit that referenced this pull request Sep 8, 2019
Merge #737
737: Do pagination on the History/Log page r=notriddle a=kimsaehun

Fixes #305 

I added an "Older" button at the bottom of the page that will retrieve older logs from the database.

GitHub alerted me that the branches could not be automatically merged but I've done a git rebase which I believe was performed correctly.

Co-authored-by: Kim Sae Hun <kimsaehun@csu.fullerton.edu>
@notriddle

This comment has been minimized.

Copy link
Member

commented Sep 8, 2019

It works right when I try it.

@bors

This comment has been minimized.

Copy link
Contributor

commented Sep 8, 2019

Build succeeded

@bors bors bot merged commit 1b50c52 into bors-ng:master Sep 8, 2019
3 checks passed
3 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
Travis CI - Pull Request Build Passed
Details
bors Build succeeded
Details
notriddle added a commit to bors-ng/bors-ng.github.io that referenced this pull request Oct 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.