Merge pull request #14 from JuliaPluto/changeToOlderUbuntu

JuliaPluto · Sep 15, 2023 · 7d1e61e · 7d1e61e
2 parents c6972cc + 18021a0
commit 7d1e61e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Export.yml b/.github/workflows/Export.yml
@@ -16,7 +16,7 @@ concurrency:
 
 jobs:
     build-and-deploy:
-        runs-on: ubuntu-latest
+        runs-on: ubuntu-20.04
         steps:
             - name: Checkout
               uses: actions/checkout@v3