Update gemmini.yml (#268)

exo-lang · Nov 2, 2022 · 85c383d · 85c383d
1 parent aaf95f8
commit 85c383d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gemmini.yml b/.github/workflows/gemmini.yml
@@ -6,7 +6,7 @@ on:
   pull_request:
 jobs:
   gemmini:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
 
     container:
       image: ghcr.io/exo-lang/gemmini:latest