Move contributor image PRs to Github Actions - Githubissues

DOMjudge / domjudge-packaging

DOMjudge packaging for (Linux) distributions and live image

32 stars 39 forks source link

Move contributor image PRs to Github Actions #167

Closed vmcj closed 8 months ago

vmcj commented 8 months ago

And remove an unrelated file.