docker issueshttps://git.zib.de/groups/docker/-/issues2020-08-17T08:48:15+02:00https://git.zib.de/docker/scipoptsuite/-/issues/1merge Docker images?2020-08-17T08:48:15+02:00Christian Salzmann-Jaeckelmerge Docker images?Hallo Philipp,
ich habe mir gerade das Dockerfile.base angeschaut. Beim näheren Hinsehen stellt sich heraus: Es ist überflüssig.
Kannst Du bitte Dockerfile und Dockerfile.base mergen?
ciao
ChristianHallo Philipp,
ich habe mir gerade das Dockerfile.base angeschaut. Beim näheren Hinsehen stellt sich heraus: Es ist überflüssig.
Kannst Du bitte Dockerfile und Dockerfile.base mergen?
ciao
ChristianPhilipp WellnerPhilipp Wellner