Merge branch 'debian12' into debian12-fpic

3 jobs for debian12-fpic in 9 minutes and 21 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #180999
docker-arm
build-arm

00:07:31

passed #180998
docker
build-x86

00:07:26

 
  Deploy
passed #181000
docker
deploy_branch

00:01:48