Merge remote-tracking branch 'origin/main' into publication

Author: Azure Pipelines

.azure/ipynb-publish.yml

@@ -11,7 +11,7 @@ pr: none
 jobs:
   - job: sync_pub
     pool:
-      vmImage: "Ubuntu-20.04"
+      vmImage: "Ubuntu-22.04"
     workspace:
       clean: all
     variables:

.azure/ipynb-validate.yml

@@ -11,7 +11,7 @@ pr:
 jobs:
   - job: check_diff
     pool:
-      vmImage: "Ubuntu-20.04"
+      vmImage: "Ubuntu-22.04"
     steps:
       - bash: |
           set -ex

.github/workflows/ci_internal.yml

@@ -17,7 +17,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-20.04]
+        os: [ubuntu-22.04]
         python-version: ["3.8", "3.10"]
     # Timeout: https://stackoverflow.com/a/59076067/4521646
     timeout-minutes: 15

.github/workflows/docs-deploy.yml

@@ -16,7 +16,7 @@ on:
 jobs:
   # https://github.com/marketplace/actions/deploy-to-github-pages
   build-docs-deploy:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     env:
       PATH_DATASETS: ${{ github.workspace }}/.datasets
       TORCH_URL: "https://download.pytorch.org/whl/cpu/torch_stable.html"