From 00e95f405e602d0041fb543f7f85fa751c179b29 Mon Sep 17 00:00:00 2001
From: Marco Enrico Piras <kikkomep@crs4.it>
Date: Mon, 1 Feb 2021 11:05:28 +0000
Subject: [PATCH] Release v0.1.1

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

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 0b0eea8cf..3b5247a11 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -112,8 +112,8 @@ jobs:
       - name: Push Docker image
         if: ${{ env.ENABLE_DOCKER_PUSH == 'true' }}
         run: |
-          for ((i = 0; i < ${#TAGS[@]}; i++)); do
-              docker push "${TAGS[$i]}"
+          for t in ${TAGS}; do
+              docker push ${t}
           done
         env:
           TAGS: ${{ steps.docker_meta.outputs.tags }}