ci: Ubuntu 18.04 explicitly set for GCC 10.1.0 CI (ubuntu-latest was misleading)

2020-12-27 12:05:26 +01:00
1 parent 0ea6ef0800
commit 24c10c4649
@@ -45,7 +45,7 @@ jobs:
          }
        - {
            name: "Ubuntu GCC 10.1.0",
-            os: ubuntu-latest,
+            os: ubuntu-18.04,
            compiler: { type: GCC, version: 10, cc: "gcc-10", cxx: "g++-10" }
          }
        - {