From 81b112a76df091b65e2113ff77b3527f76138943 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ra=C3=BAl=20Cumplido?= <raulcumplido@gmail.com>
Date: Tue, 10 Dec 2024 12:24:50 +0100
Subject: [PATCH] Try installing CMake 3.25 manually on Ubuntu

---
 .github/workflows/dev.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml
index 52eae68c4f498..02c3c5d983c99 100644
--- a/.github/workflows/dev.yml
+++ b/.github/workflows/dev.yml
@@ -53,6 +53,11 @@ jobs:
         uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5.3.0
         with:
           python-version: 3.12
+      - name: Install CMake 3.25.0
+        shell: bash
+        run: |
+          ci/scripts/install_cmake.sh x86_64 linux 3.25.0 /tmp/local/
+          echo "/tmp/local/bin" >> $GITHUB_PATH
       - name: Install pre-commit
         run: |
           python -m pip install pre-commit