chore: update os images on ci (#1149)

The main motivation was to update the Ubuntu version on the daily job as
it seemed it wasn't supported anymore.

macOS 14 fails immediately with no error msg, so we are using 13 for
now.

.github/workflows/ci.yml

@@ -31,15 +31,15 @@ jobs:
         include:
           - target:
               os: linux
-            builder: ubuntu-20.04
+            builder: ubuntu-22.04
             shell: bash
           - target:
               os: macos
-            builder: macos-12
+            builder: macos-13
             shell: bash
           - target:
               os: windows
-            builder: windows-2019
+            builder: windows-2022
             shell: msys2 {0}
 
     defaults:

.github/workflows/codecov.yml

@@ -14,7 +14,7 @@ concurrency:
 
 jobs:
   Coverage:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     env:
       CICOV: YES
     steps:

.github/workflows/daily_common.yml

@@ -31,13 +31,13 @@ jobs:
       matrix:
         platform:
           - os: linux
-            builder: ubuntu-20
+            builder: ubuntu-22.04
             shell: bash
           - os: macos
-            builder: macos-12
+            builder: macos-13
             shell: bash
           - os: windows
-            builder: windows-2019
+            builder: windows-2022
             shell: msys2 {0}
         branch: ${{ fromJSON(inputs.nim-branch) }}
         cpu: ${{ fromJSON(inputs.cpu) }}

.github/workflows/doc.yml

@@ -10,7 +10,7 @@ jobs:
     timeout-minutes: 20
 
     name: 'Generate & upload documentation'
-    runs-on: 'ubuntu-20.04'
+    runs-on: ubuntu-latest
     continue-on-error: true
     steps:
       - name: Checkout