Merge pull request The-OpenROAD-Project#2107 from vvbandeira/ci-dev

ci: only build one of dev or master
antmicro · Jul 4, 2024 · 3629b63 · 3629b63
2 parents 889e4ee + d82f4a7
commit 3629b63
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/etc/DockerHelper.sh b/etc/DockerHelper.sh
@@ -108,10 +108,13 @@ _push() {
     fi
 
     mkdir -p build
-    ./etc/DockerHelper.sh create -os=${os} -target=dev -tag=${tag} -ci \
-        2>&1 | tee build/create-${os}-dev-${tag}.log
 
-    ${DOCKER_CMD} push "${org}/flow-${os}-dev:${tag}"
+    if [[ "${target}" == "dev" ]]; then
+        ./etc/DockerHelper.sh create -os=${os} -target=dev -tag=${tag} -ci \
+            2>&1 | tee build/create-${os}-dev-${tag}.log
+
+        ${DOCKER_CMD} push "${org}/flow-${os}-dev:${tag}"
+    fi
 
     if [[ "${target}" == "master" ]]; then
         tag=$(./etc/DockerTag.sh -master)