Merge branch 'debian12' into emscripten

3 jobs for emscripten in 13 minutes and 1 second (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #181002
docker-arm
build-arm

00:10:54

passed #181001
docker
build-x86

00:11:16

 
  Deploy
passed #181003
docker
deploy_branch

00:01:44