DOMjudge / domjudge-packaging

DOMjudge packaging for (Linux) distributions and live image
31 stars 37 forks source link

Manually deploy release dockers to DockerHUB #77

Closed vmcj closed 3 years ago

vmcj commented 3 years ago

This is only triggered from master, in GitLab there is a button to trigger the release.

The current docker:latest image does not have curl, because of this the -s option is removed which yields the problem that when the server does not have the release but returns a page we will try to unpack that page. As thats a failure its fine for now. Additionally this assumes that if you try to build locally you need wget.