Update pull-request-checks.yaml

Fotis Koutoulakis · Fotis Koutoulakis · commit aeb0ccddf507 · 2020-08-18T16:42:14.000+01:00
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -35,7 +35,7 @@ jobs:
           submodules: recursive
 
       - name: Install bison and flex
-        run: "%SCRIPT_DIR%\install-bison.bat"
+        run: "%SCRIPT_DIR%\\install-bison.bat"
 
       - name: Build cbmc
-        run: "%SCRIPT_DIR%\build-cbmc.bat"
+        run: "%SCRIPT_DIR%\\build-cbmc.bat"
