From 777b5241b38c66e05dd180b2b933bdf5a611bacc Mon Sep 17 00:00:00 2001
From: Michal Ziemski <mziemski@ethz.ch>
Date: Thu, 1 Feb 2024 20:52:37 +0000
Subject: [PATCH] Push

---
 .github/workflows/ci-dev.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci-dev.yaml b/.github/workflows/ci-dev.yaml
index 53713b1..b3affb4 100644
--- a/.github/workflows/ci-dev.yaml
+++ b/.github/workflows/ci-dev.yaml
@@ -33,7 +33,6 @@ jobs:
   build-docker-image:
 #    needs: [coverage]
     runs-on: ubuntu-latest
-    secrets: inherit
     steps:
       - name: Prepare tags
         id: prep
@@ -68,5 +67,6 @@ jobs:
       - name: Build and push Docker images
         uses: docker/build-push-action@v2
         with:
-          push: ${{ github.event.pull_request.merged }}
+          #push: ${{ github.event.pull_request.merged }}
+          push: true
           tags: ${{ steps.prep.outputs.tags }}