Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix Docker image build on Linux #728

Merged
merged 6 commits into from
Oct 2, 2024
Merged

Fix Docker image build on Linux #728

merged 6 commits into from
Oct 2, 2024

Commits on Oct 1, 2024

  1. Fix Docker image build on Linux

    @pquentin
    pquentin committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b5e57cf View commit details
    Browse the repository at this point in the history

  2. Build Docker images in CI

    @pquentin
    pquentin committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    d6e8d28 View commit details
    Browse the repository at this point in the history

  3. Fix bash syntax

    @pquentin
    pquentin committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    163a11d View commit details
    Browse the repository at this point in the history

  4. Only load, not push

    @pquentin
    pquentin committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    4134e5e View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Parallelize docker build 

    It's currently the slowest step.
    @pquentin
    pquentin committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    417e4ba View commit details
    Browse the repository at this point in the history

  2. Only build Linux images

    @pquentin
    pquentin committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    48dbb5b View commit details
    Browse the repository at this point in the history