Try an older ubuntu

2026-10-02 08:25:40 +02:00 · 2023-09-14 13:10:20 -07:00
parent 01d1de243c
commit 13fefacfd7
1 changed files with 1 additions and 1 deletions
@@ -4,7 +4,7 @@ on: [push]

 jobs:
  test:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
    steps:
      - uses: actions/checkout@v3
      - run: make