Skip to content

Commit ed3dcd5

Browse files
author
Fotis Koutoulakis
committed
Fix yaml errors during parsing.
1 parent e975bb9 commit ed3dcd5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ jobs:
3535
submodules: recursive
3636

3737
- name: Install bison and flex
38-
run: %SCRIPT_DIR%\install-bison.bat
38+
run: "%SCRIPT_DIR%\install-bison.bat"
3939

4040
- name: Build cbmc
41-
run: %SCRIPT_DIR%\build-cbmc.bat
41+
run: "%SCRIPT_DIR%\build-cbmc.bat"

0 commit comments

Comments
 (0)