Merge remote-tracking branch 'origin/main'

hasadna · May 9, 2023 · 0882144 · 0882144
2 parents 22ba02c + c222c4e
commit 0882144
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -4,7 +4,7 @@ on: [push, pull_request]
 
 jobs:
   deploy:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
       - name: deploy