Update CI config

This commit is contained in:
Victor Zverovich
2020-11-03 14:02:07 -08:00
parent 38a16ecba2
commit 0103408a5c
3 changed files with 14 additions and 6 deletions

View File

@@ -22,7 +22,7 @@ jobs:
- name: Create Build Environment
run: cmake -E make_directory ${{runner.workspace}}/build
- name: Configure CMake
- name: Configure
# Use a bash shell for $GITHUB_WORKSPACE.
shell: bash
working-directory: ${{runner.workspace}}/build