summaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2023-10-04 13:42:43 +0200
committerRémi Verschelde <rverschelde@gmail.com>2023-10-04 13:42:49 +0200
commit0369f6fea031886a49e650fe5577e246adbeed39 (patch)
tree85e0c1bf6f124f732647e8bd0eddcb5db11710e1 /.github/workflows
parentbf2f9e2f554bd22d127c744ca3d1a077b7bb5a63 (diff)
downloadredot-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.yml2
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: |