Merge branch 'debian12' into debian12-fpic

3 jobs for debian12-fpic in 1 minute and 41 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #177383
docker-arm
build-arm

00:00:50

passed #177382
docker
build-x86

00:01:19

 
  Deploy
passed #177384
docker
deploy_branch

00:00:22