diff options
author | Stefan <29021710+Saalvage@users.noreply.github.com> | 2022-01-18 02:17:46 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-18 02:17:46 +0300 |
commit | 76cc1371e7207a94018d1a5539819bdbeb99c12a (patch) | |
tree | 5f2cf0b3527caf1bb94210a93d4e5f62d55f7d95 /.github | |
parent | aaa725383f9b2b38fcf4cd56390c5ebdd4fd6ad3 (diff) |
" -> '
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c589e7f3..8381c553 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -15,7 +15,7 @@ env: jobs: ci: - if: github.event_name == "push" || github.event.pull_request.head.repo.full_name != github.repository + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository runs-on: ${{ matrix.os }} env: @@ -204,7 +204,7 @@ jobs: run: python3 .github/workflows/build_and_test.py ${{ runner.os }} x86 ${{ matrix.compiler }} ${{ matrix.version }} ci-min-gw: - if: github.event_name == "push" || github.event.pull_request.head.repo.full_name != github.repository + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository runs-on: windows-latest strategy: @@ -228,7 +228,7 @@ jobs: run: ctest --test-dir build --no-tests=error ci-msvs: - if: github.event_name == "push" || github.event.pull_request.head.repo.full_name != github.repository + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository runs-on: ${{ matrix.toolset == 'v143' && 'windows-2022' || 'windows-latest' }} strategy: |