ba1be9
Revert "fix names of docker images" This reverts commit d31f6ee3301e79a46bc5b78f624a1549d9804234.