Merge tag '12.2' into 12

2022-04-12 12:30:17 +01:00
parent f1232bfed7 1893dba8a1
commit 136db27f51
80 changed files with 1652 additions and 523 deletions
--- a/.github/workflows/preview_build.yml
+++ b/.github/workflows/preview_build.yml
@@ -76,7 +76,7 @@ jobs:
        echo "::group::CMake"
        emcmake cmake .. \
          -DHOST_BINARY_DIR=../build-host \
-          -DCMAKE_BUILD_TYPE=RelWithDebInfo \
+          -DCMAKE_BUILD_TYPE=Release \
          # EOF
        echo "::endgroup::"

--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -377,9 +377,6 @@ jobs:
        - container_image: "ubuntu:20.04"
          bundle_name: "focal"
          compiler: "g++"
-        - container_image: "ubuntu:20.10"
-          bundle_name: "groovy"
-          compiler: "g++"
        - container_image: "debian:buster"
          bundle_name: "buster"
          compiler: "g++"