From c12490b1bcfe6b35e455b3796937cfde68640e70 Mon Sep 17 00:00:00 2001
From: Github Actions <actions@github.com>
Date: Fri, 13 Mar 2020 11:29:15 +0000
Subject: [PATCH] :construction_worker_man: sync DINAR

Pushed from  https://github.com/itpp-labs/DINAR/.github/workflows/fork2repos.yml
---
 .github/workflows/DINAR.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/DINAR.yml b/.github/workflows/DINAR.yml
index 094f142..6e779fa 100644
--- a/.github/workflows/DINAR.yml
+++ b/.github/workflows/DINAR.yml
@@ -29,8 +29,11 @@ jobs:
     steps:
       - name: Check that DINAR_TOKEN is set
         run: |
-          test -z "${{ secrets.DINAR_TOKEN }}" && echo "DINAR_TOKEN is not set" && exit 1
-        
+          if [ -z "${{ secrets.DINAR_TOKEN }}" ]
+          then
+              echo "DINAR_TOKEN is not set"
+              exit 1
+          fi        
   rebuild-images:
     runs-on: ubuntu-latest
     needs: