From 01a043fe3f87b6fcbc55836465886a42940cd9ab Mon Sep 17 00:00:00 2001
From: Guilherme Caponetto <638737+caponetto@users.noreply.github.com>
Date: Mon, 14 Oct 2024 10:15:08 -0300
Subject: [PATCH] Setup Python 3.11 across all jobs to not depend on the OS

---
 .github/workflows/build.yml                     | 8 ++++++++
 .github/workflows/update-version-through-pr.yml | 6 ++++++
 2 files changed, 14 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 055bf5161..11910defc 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -56,6 +56,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ env.PYTHON_VERSION }}
       - name: Lint
         run: make lint-server
 
@@ -200,6 +204,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ env.PYTHON_VERSION }}
       - name: Build
         run: make docs
 
diff --git a/.github/workflows/update-version-through-pr.yml b/.github/workflows/update-version-through-pr.yml
index ab18acbd3..5d7191d8f 100644
--- a/.github/workflows/update-version-through-pr.yml
+++ b/.github/workflows/update-version-through-pr.yml
@@ -17,6 +17,7 @@ on:
 env:
   NODE_VERSION: 20.11.0
   YARN_VERSION: 3.5.0
+  PYTHON_VERSION: 3.11
 
 jobs:
   update_version:
@@ -29,6 +30,11 @@ jobs:
           ref: ${{ github.event.inputs.source_branch }}
           fetch-depth: 0
 
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ env.PYTHON_VERSION }}
+
       - name: Set up Node.js
         uses: actions/setup-node@v4
         with: