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

Avoid simultaneous reprocessing of a repository #5023

Closed

jorg-vr wants to merge 1 commit into main from fix/allow-empty

Contributor

jorg-vr commented Oct 3, 2023

This pull request

Tests were added
Documentation update can be found at dodona-edu/dodona-edu.github.io#

Closes # .


          Avoid simultaneous reprocessing of a repository

9e5951f

jorg-vr added the bug label

jorg-vr self-assigned this

jorg-vr mentioned this pull request

Avoid git race conditions by allowing only one worker #5024

Merged

jorg-vr closed this in #5024

jorg-vr deleted the fix/allow-empty branch

April 22, 2024 12:52

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

Labels

bug