changed ubuntu runner

2026-06-25 14:09:27 +08:00 · 2022-11-22 13:25:52 -05:00
parent 58ba3f0665
commit e896fce9e2
8 changed files with 8 additions and 8 deletions
@@ -11,7 +11,7 @@ on: # rebuild any PRs and main branch changes

 jobs:
   build: # make sure build/ci works properly
-      runs-on: ubuntu-latest
+      runs-on: ubuntu-20.04
      steps:
         - uses: actions/checkout@v1
         - run: |