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

CI: Streamline docker build #123

Merged
merged 2 commits into from
Apr 1, 2023
Merged

CI: Streamline docker build #123

merged 2 commits into from
Apr 1, 2023

Commits on Apr 1, 2023

  1. CI: Build using docker action 

    Change to build the image using docker action, this should then allow
the docker action's cache to be used. Subsequently reducing build time
~50%, as the image will only need to be built once. Currently image is
built twice.

The default driver uses double the disk space, see
docker/build-push-action/issues/321 (in brief the image is build in the
build-push-action local cache and then transfered to the local docker).
This is a problem as this image is so large. Using the `docker` driver
will workaround this.
    @master-bob
    master-bob committed Apr 1, 2023
    Configuration menu
    Copy the full SHA
    dda9dff View commit details
    Browse the repository at this point in the history

  2. CI: Remove unused software 

    Removes the Android SDK and the Hosted tool cache from the runner.
The hostedtoolcache has the following unused software:
- PyPy
- go
- CodeQL
- Java_Temurin-Hotspot_jdk
- node
- Ruby
- Python
    @master-bob
    master-bob committed Apr 1, 2023
    Configuration menu
    Copy the full SHA
    ab46842 View commit details
    Browse the repository at this point in the history