ci

VSharp-team · Jun 17, 2024 · 7b16ec8 · 7b16ec8
1 parent 08d6ba9
commit 7b16ec8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
@@ -5,7 +5,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     steps:
     - name: Checkout VSharp
       uses: actions/checkout@v3

diff --git a/.github/workflows/integration_tests.yml b/.github/workflows/integration_tests.yml
@@ -9,7 +9,7 @@ on:
 
 jobs:
   run_integration_tests:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     timeout-minutes: 30
     steps:
     - name: Checkout VSharp