In hindsight there is no such thing as 20.20

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit ec532f501409 · 2020-08-07T11:55:00.000+01:00
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -5,7 +5,7 @@ on:
 
 jobs:
   check-ubuntu-20_20-cmake-gcc:
-    runs-on: ubuntu-20.20
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
         with:
