Test Ubuntu 20.04 in addition to 18.04. (#91)

aibasel · Sep 22, 2020 · efd4f0e · efd4f0e
1 parent 3291e15
commit efd4f0e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -7,14 +7,15 @@ on: [push, pull_request]
 jobs:
   build:
 
-    runs-on: ubuntu-18.04
+    runs-on: ${{ matrix.os }}
 
     # We want to run on external PRs, but not on our own internal PRs as they'll be run
     # by the push to the branch.
     if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
 
     strategy:
       matrix:
+        os: [ubuntu-18.04, ubuntu-20.04]
         python-version: [3.6, 3.7, 3.8]
 
     steps:
@@ -48,7 +49,7 @@ jobs:
         python -m pip install --upgrade pip tox
 
     - name: Check style
-      if: matrix.python-version == '3.6'
+      if: matrix.os == 'ubuntu-20.04' && matrix.python-version == '3.8'
       run: |
         tox -e docs,style
 

diff --git a/docs/news.rst b/docs/news.rst
@@ -6,7 +6,7 @@ v6.2 (unreleased)
 
 Lab
 ^^^
-* No changes.
+* For developers: run CI tests on Ubuntu 20.04 in addition to 18.04 (Jendrik Seipp).
 
 Downward Lab
 ^^^^^^^^^^^^