From cc18a4bb19d8f904cd366ccd4e16d26453e76608 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Igor=20Pe=C4=8Dovnik?=
 <igorpecovnik@users.noreply.github.com>
Date: Sat, 15 Jan 2022 16:08:53 +0100
Subject: [PATCH] Update ping.yml

---
 .github/workflows/ping.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ping.yml b/.github/workflows/ping.yml
index c96e7adb..bb42c0c4 100644
--- a/.github/workflows/ping.yml
+++ b/.github/workflows/ping.yml
@@ -84,6 +84,7 @@ jobs:
           else
             echo "$server ✗"
           fi
+          echo "PROCEED=true" >> $GITHUB_ENV
     
       - name: Login
         if: ${{ env.PROCEED == 'true' }}