diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-04 13:42:43 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-04 13:42:49 +0200 |
commit | 0369f6fea031886a49e650fe5577e246adbeed39 (patch) | |
tree | 85e0c1bf6f124f732647e8bd0eddcb5db11710e1 /.github/workflows | |
parent | bf2f9e2f554bd22d127c744ca3d1a077b7bb5a63 (diff) | |
download | redot-cpp-0369f6fea031886a49e650fe5577e246adbeed39.tar.gz |
CI: Fix MinGW install error by pinning to earlier version
Works around https://github.com/egor-tensin/setup-mingw/issues/14.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7e61692..750d058 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -111,6 +111,8 @@ jobs: - name: Setup MinGW for Windows/MinGW build if: ${{ matrix.platform == 'windows' && matrix.flags == 'use_mingw=yes' }} uses: egor-tensin/setup-mingw@v2 + with: + version: 12.2.0 - name: Generate godot-cpp sources only run: | |