Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Skip judging parts of the integration tests.
This is unfortunate but gitlab seems to have enabled cgroups v2 on their runners and we still use cgroups v1, see DOMjudge#1072
- Loading branch information