* Fix Docker image build on Linux * Build Docker images in CI * Fix bash syntax * Only load, not push * Parallelize docker build It's currently the slowest step. * Only build Linux images
