beremiz

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

2023-07-20, Edouard Tisserant
2596dabeea04
file isExecutable
Github CI: do not save docker image if just restored from cache
#!/bin/bash
set -e
echo "Building docker image"
docker build \
--build-arg UID=$(id -u) \
--build-arg GID=$(id -g) \
-t beremiz_sikuli .