Docker#154

Open

raulbocanegra wants to merge 8 commits intomasterfrom

Commits on May 4, 2020

Add Dockerfiles
Raúl Bocanegra
committed
Add KHIVA_BRANCH build-arg
Raúl Bocanegra
committed

Commits on May 5, 2020

Update Dockerfile
Raúl Bocanegra
committed
Improve build time of containers
Raúl Bocanegra
committed
Improve space of containers
Raúl Bocanegra
committed
Remove unused patch files
Raúl Bocanegra
committed

Commits on May 26, 2020

Update dockerfiles
Raúl Bocanegra
committed

Commits on Jun 5, 2020

Merge branch 'master' into docker
avilchess
authored