Skip to content

Conversation

eldering
Copy link
Member

Otherwise, if you only have the zip, it gets deleted and then the script fails, leaving you without the data of that problem. In my case, I didn't notice, and ran import-contest again after unzipping all problem archives, which then failed because the first problem was missing.

Otherwise, if you only have the zip, it gets deleted and then the
script fails, leaving you without the data of that problem.
In my case, I didn't notice, and ran `import-contest` again after
unzipping all problem archives, which then failed because the
first problem was missing.
@vmcj
Copy link
Member

vmcj commented Sep 25, 2025

In case we don't have the problem directory but do have the zip I think we can just upload that one?

@eldering eldering added this pull request to the merge queue Oct 5, 2025
Merged via the queue into main with commit 2781211 Oct 5, 2025
42 checks passed
@eldering eldering deleted the fix-problem-import-ux branch October 5, 2025 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants