Use the latest Ubuntu version for coverage

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index dcc9f6cd26e16e020aeb731b64bee42f54f9ac88..b4b1e299dfda2a519e9f8cd5890f495d50f5c6d8 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -3,7 +3,7 @@ on: [push, pull_request]
 jobs:
   linux:
     name: linux
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-latest
     steps:
       - name: Install packages
         run: |