From c324b9206842d9b31c195dd2a8638d338298da38 Mon Sep 17 00:00:00 2001
From: Github Actions <actions@github.com>
Date: Tue, 24 Mar 2020 16:00:33 +0000
Subject: [PATCH] :construction_worker_man: sync DINAR

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

diff --git a/.github/workflows/DINAR.yml b/.github/workflows/DINAR.yml
index db2fed5..d59e871 100644
--- a/.github/workflows/DINAR.yml
+++ b/.github/workflows/DINAR.yml
@@ -42,7 +42,8 @@ jobs:
         run: |
           REF=${GITHUB_BASE_REF:-${GITHUB_REF}}
           BRANCH=${REF##*/}
-          if ! $( echo "$BRANCH" | grep -E "^(master|[0-9]+\.[0-9]+)(-dev-.+)?$" )
+          CHECK=$( echo "$BRANCH" | grep -E "^(master|[0-9]+\.[0-9]+)(-dev-.+)?$" || true)
+          if [ -z "$CHECK" ]
           then
               echo "This branch is not supposed to be a target of pull requests, so docker image is not needed."
               echo "For information check https://github.com/itpp-labs/DINAR/issues/60"