Merge pull request #87 from JuliaReach/schillic/CI

Use `ubuntu-latest` for CI tests

Author: schillic

.github/workflows/test-master.yml

@@ -23,7 +23,7 @@ jobs:
         version:
           - '1'
         os:
-          - ubuntu-slim
+          - ubuntu-latest
         arch:
           - x64
     env:

.github/workflows/test-pull-request.yml

@@ -21,7 +21,7 @@ jobs:
         version:
           - '1'
         os:
-          - ubuntu-slim
+          - ubuntu-latest
         arch:
           - x64
         include: