Merge branch 'master' into update-docs

fsprojects · Jan 20, 2025 · 611dfbb · 611dfbb
2 parents 89c3787 + 5b2869a
commit 611dfbb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -11,7 +11,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [windows-latest, ubuntu-latest]
+        os: [windows-latest, ubuntu-22.04]
         dotnet: [5.0.400]
     runs-on: ${{ matrix.os }}
 

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -11,7 +11,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [windows-latest, ubuntu-latest]
+        os: [windows-latest, ubuntu-22.04]
         dotnet: [5.0.400]
     runs-on: ${{ matrix.os }}