diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 85d9fed..f55dcb0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,6 +8,10 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v1 + - name: Set up Python 3.8 + uses: actions/setup-python@v2 + with: + python-version: 3.8 - name: Build and test env: CMAKE_OPTIONS: -DCMARK_SHARED=OFF @@ -22,6 +26,10 @@ jobs: steps: - uses: actions/checkout@v1 + - name: Set up Python 3.8 + uses: actions/setup-python@v2 + with: + python-version: 3.8 - name: Build and test env: CMAKE_OPTIONS: -DCMARK_SHARED=OFF @@ -36,6 +44,10 @@ jobs: steps: - uses: actions/checkout@v1 + - name: Set up Python 3.8 + uses: actions/setup-python@v2 + with: + python-version: 3.8 - name: Build and test run: | nmake test |