incubator-marvin
incubator-marvin copied to clipboard
Marvin 68
Change Dockerfile and Makefile to prevent unnecessary engine executor download.
@rafaelnovello, please rebase this PR to the latest develop branch, it should solve the CI. (the openjdk problem)