beremiz

Github CI: do not save docker image if just restored from cache

2023-07-20, Edouard Tisserant
2596dabeea04
Parents c7cc292bb82e
Children b4f8fe5e3b0f
Github CI: do not save docker image if just restored from cache
1 files changed, 2 insertions(+), 1 deletions(-)
  • +2 -1
    .github/workflows/run_tests_in_docker.yml
    • --- a/.github/workflows/run_tests_in_docker.yml Thu Jul 20 22:42:39 2023 +0200
    +++ b/.github/workflows/run_tests_in_docker.yml Thu Jul 20 22:47:12 2023 +0200
    @@ -44,7 +44,8 @@
    ./build_docker_image.sh
    docker image save --output="/tmp/latest.tar" beremiz_sikuli
    - - name: Save docker image in cache
    + - if: ${{ steps.cache-docker-restore.outputs.cache-hit == false }}
    + name: Save docker image in cache
    id: cache-docker-save
    uses: actions/cache/save@v3
    with: