use old ubunto

FernandoChu · Dec 3, 2023 · ca8a0c5 · ca8a0c5
1 parent d6c65d7
commit ca8a0c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,7 +2,7 @@ name: Build and Deploy
 on: [push, pull_request]
 jobs:
   build-and-deploy:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     container: shiranaiyo/agda:2.6.2.2
 
     steps: