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.

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

bt download_submissions #400

Merged
merged 5 commits into from
Oct 30, 2024
Merged

bt download_submissions #400

merged 5 commits into from
Oct 30, 2024

Conversation

RagnarGrootKoerkamp
Copy link
Owner

@mpsijm mpsijm merged commit 9e8882d into master Oct 30, 2024
4 checks passed
@mpsijm mpsijm deleted the bt-download-submissions branch October 30, 2024 22:12
@RagnarGrootKoerkamp
Copy link
Owner Author

Thanks for fixing and merging 😍

@RagnarGrootKoerkamp
Copy link
Owner Author

While we're at it, we should probably also download the scoreboard, just so we have it.

Also, cool how small the diff is to make the parallel download :)

@mpsijm
Copy link
Collaborator

mpsijm commented Oct 30, 2024

Adding the scoreboard to the download sounds good! I already shut down, but feel free to add it 🙂

@mpsijm
Copy link
Collaborator

mpsijm commented Oct 31, 2024 •
edited
Loading

See mpsijm@cc15a12, but it doesn't completely work yet. Besides the scoreboard's JSON data (i.e. the stuff we download in bin/misc/download_scoreboard.sh), I wanted to also download the static scoreboard zip and clarifications html, but that currently downloads a login page, so I've opened DOMjudge/domjudge#2768 for that 😛

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

@mpsijm mpsijm mpsijm approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@RagnarGrootKoerkamp @mpsijm