From 55c1f410f29e4bd498ae1ec85a2fd9225eb33c68 Mon Sep 17 00:00:00 2001
From: Fabian Immel <immel@fzi.de>
Date: Fri, 18 Oct 2024 15:19:01 +0200
Subject: [PATCH] pin deploy pages ubuntu version (#368)

---
 .github/workflows/cd.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cd.yaml b/.github/workflows/cd.yaml
index d2e34487..027d6128 100644
--- a/.github/workflows/cd.yaml
+++ b/.github/workflows/cd.yaml
@@ -127,7 +127,7 @@ jobs:
           password: ${{ secrets.PYPI_API_TOKEN }}
 
   deploy-pages:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     if: github.ref == 'refs/heads/master'
     concurrency: deploy-${{ github.ref }}
     steps: