From 7ddcd87354ad6307043703044e4579a258a3bdd7 Mon Sep 17 00:00:00 2001
From: Philip Langer <planger@eclipsesource.com>
Date: Fri, 10 Nov 2023 08:42:49 +0100
Subject: [PATCH] Pin Python version

https://github.com/eclipse-theia/theia/issues/13008
---
 .github/workflows/production-smoke-test.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/production-smoke-test.yml b/.github/workflows/production-smoke-test.yml
index d3c5c6ec45ff1..e886c4eb69030 100644
--- a/.github/workflows/production-smoke-test.yml
+++ b/.github/workflows/production-smoke-test.yml
@@ -28,10 +28,10 @@ jobs:
           node-version: "18.x"
           registry-url: "https://registry.npmjs.org"
 
-      - name: Use Python 3.x
+      - name: Use Python 3.11
         uses: actions/setup-python@v4
         with:
-          python-version: "3.x"
+          python-version: "3.11"
 
       - name: Build Browser Example Application for Production
         shell: bash