diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f55dcb0..85d9fed 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,10 +8,6 @@ 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 @@ -26,10 +22,6 @@ 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 @@ -44,10 +36,6 @@ 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 |