[sophia][esterel33] add to production queue

added 30 commits

• 1c17671e...bcb123fd - 29 commits from branch master
• a596a9d6 - [sophia][esterel33] add to production queue

Compare with previous version

requested review from @niperrin

added 7 commits

• a596a9d6...da9d8770 - 6 commits from branch master
• 12a0edcb - [sophia][esterel33] add to production queue

Compare with previous version

approved this merge request

added 3 commits

• 12a0edcb...e8290bf3 - 2 commits from branch master
• 1a45c97a - [sophia][esterel33] add to production queue

Compare with previous version

enabled an automatic merge when all merge checks for 1a45c97a pass

merged

mentioned in commit c484a90f