Implement suggestions during code review.

Author: Fotis Koutoulakis

.github/workflows/pull-request-checks.yaml

@@ -21,7 +21,7 @@ jobs:
         run: cd build; ninja
       - name: Run CTest
         run: cd build; ctest -V -L CORE .
-  check-vs-2019-build-and-test:
+  check-vs-2019-build-only:
     runs-on: windows-2019
     env:
       SCRIPT_DIR: .github/workflows/vs2019
@@ -31,12 +31,11 @@ jobs:
     steps:
       - name: Checkout the repository
         uses: actions/checkout@v2
-
-      - name: Update the submodules
-        run: git submodule update --init
+        with:
+          submodules: recursive
 
       - name: Install bison and flex
-        run: ${{env.SCRIPT_DIR}}\install-bison.bat
+        run: %SCRIPT_DIR%\install-bison.bat
 
       - name: Build cbmc
-        run: ${{env.SCRIPT_DIR}}\build-cbmc.bat
+        run: %SCRIPT_DIR%\build-cbmc.bat