Merge branch 'ci'

Author: benma

.github/workflows/ci.yml

@@ -5,7 +5,7 @@ on: [push, pull_request]
 
 jobs:
   linux-docker:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-22.04
     steps:
       - name: Clone the repo
         uses: actions/checkout@v2