Skip to content

Drop unmaintained Dockerfile and drop building a Docker image via CI

georg requested to merge drop-unmaintained-dockerfile into master

The Dockerfile saw its last update more than two years ago, in November 2017. I doubt that this still works as expected, and think it's not reasonable to ship it in its current state.

Edited by georg

Merge request reports