CI updates

fgsch · fgsch · commit 15e7852beebe · 2022-07-25T10:15:49.000+01:00
Run the ci job once a week and bump Ubuntu runner version.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,11 +1,15 @@
 name: ci
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  schedule:
+    - cron: "11 3 * * 6"
 
 jobs:
   test:
 
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     strategy:
       matrix:
