.github/workflows: Change default platform from ubuntu-focal to ubunt…

…u-jammy

.github/workflows/build.yml

@@ -15,7 +15,7 @@ on:
       platform:
         description: 'Platform'
         required: true
-        default: 'ubuntu-focal-standard'
+        default: 'ubuntu-jammy-standard'
       docker_tag:
         description: 'Docker tag'
         required: true
@@ -52,7 +52,7 @@ jobs:
 
   build:
     runs-on: ubuntu-latest
-    container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-focal-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
+    container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-jammy-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
     needs: [get_ci_fixes]
     steps:
       - name: Checkout

.github/workflows/ci-conda.yml

@@ -35,12 +35,12 @@ jobs:
         # environment: [environment, environment-optional]
         conda-env: [environment]
         # On pull requests, only test two jobs:
-        # Ubuntu with Python 3.9, macOS with Python 3.10.
-        # Build & Test currently uses Python 3.11 (on ubuntu-focal).
+        # Ubuntu with Python 3.9, macOS with Python 3.11.
+        # Build & Test currently uses Python 3.10 (on ubuntu-jammy).
         # Together, they cover the supported minor Python versions.
         include: >-
           ${{ github.event_name == 'pull_request'
-                && fromJson('[{"os": "macos", "python": "3.10", "conda-env": "environment"}]')
+                && fromJson('[{"os": "macos", "python": "3.11", "conda-env": "environment"}]')
                 || fromJson('[]') }}
 
     steps:

.github/workflows/ci-linux.yml

@@ -46,7 +46,7 @@ jobs:
       targets: build doc-html
       targets_optional: ptest
       tox_system_factors: >-
-        ["ubuntu-focal"]
+        ["ubuntu-jammy"]
       tox_packages_factors: >-
         ["standard"]
       docker_push_repository: ghcr.io/${{ github.repository }}/

.github/workflows/doc-build-pdf.yml

@@ -9,7 +9,7 @@ on:
       platform:
         description: 'Platform'
         required: true
-        default: 'ubuntu-focal-standard'
+        default: 'ubuntu-jammy-standard'
       docker_tag:
         description: 'Docker tag'
         required: true
@@ -46,7 +46,7 @@ jobs:
 
   build-docs-pdf:
     runs-on: ubuntu-latest
-    container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-focal-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
+    container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-jammy-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
     needs: [get_ci_fixes]
     steps:
       - name: Checkout

.github/workflows/doc-build.yml

@@ -41,7 +41,7 @@ jobs:
 
   build-docs:
     runs-on: ubuntu-latest
-    container: ghcr.io/sagemath/sage/sage-ubuntu-focal-standard-with-targets:dev
+    container: ghcr.io/sagemath/sage/sage-ubuntu-jammy-standard-with-targets:dev
     needs: [get_ci_fixes]
     steps:
       - name: Checkout