From 38dc216066c6fa3bf365b8d47dfab6952c49b7e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20Pomar=C3=A8de?= Date: Sat, 12 Sep 2026 13:59:19 +0200 Subject: [PATCH] For the mingw CI jobs, use portmidi v2.0.8 (instead of v2.0.4+ from 2025/02/16) --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 89704631d..4a939e576 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -56,7 +56,7 @@ build-mingw: git clone https://github.com/PortMidi/portmidi.git --shallow-since=2025-01-01 -c advice.detachedHead=false && cd portmidi && - git checkout 806aa16c7d3c && + git checkout v2.0.8 && cmake -DCMAKE_TOOLCHAIN_FILE=../../cmake/Toolchain-mingw32-win64_64.cmake . && make -j$(nproc) && cd .. ; @@ -125,7 +125,7 @@ build-mingw-32: git clone https://github.com/PortMidi/portmidi.git --shallow-since=2025-01-01 -c advice.detachedHead=false && cd portmidi && - git checkout 806aa16c7d3c && + git checkout v2.0.8 && cmake -DCMAKE_TOOLCHAIN_FILE=../../cmake/Toolchain-mingw32-win64_32.cmake . && make -j$(nproc) && cd .. ;