Emmanuele Bassi ec7b1f7208 ci: Add no-cache option to run-docker.sh script ...

Use `run-docker.sh build --no-cache` to discard the cached layers if you
need to rebuild the image without modifying the Dockerfile.

2023-02-17 12:24:09 +00:00

3.9 KiB

Executable File

Raw Blame History

View Raw