Closed sfudeus closed 3 years ago
Failing docker builds currently aren't noticed before being merged to master. PR should trigger a non-pushing docker build.
as happened with #17 causing #19
Failing docker builds currently aren't noticed before being merged to master. PR should trigger a non-pushing docker build.