Closed dongahn closed 3 years ago
@andre-merzky
This will be a separate dockerfile for now - reopening
@andre-merzky: now the base image has been merged, you can take a look.
PR #20 provides that.
Great! I see this has already been merged. Thanks.
Great! I see this has already been merged. Thanks.
Uhm, yes - we may want to discuss policies a bit I guess - sorry if that merge was premature!
closed via #20
Creating a new subtask by breaking down from #2. Docker image with the make-check running.