From 5f898fef2d1fb6da5d883c29e7356ae3be3fa6c5 Mon Sep 17 00:00:00 2001
From: Alfred Gedeon <alfred2g@hotmail.com>
Date: Wed, 16 Sep 2020 15:26:09 -0700
Subject: [PATCH] use bash instead of sh

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index de79da251..bb82845ef 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,4 +21,4 @@ jobs:
             path: ./kernel
       - name: URL Checker
         run: |
-            sh kernel/.github/workflows/url_verifier.sh kernel
+            bash kernel/.github/workflows/url_verifier.sh kernel