Prepare release branch

Author: gilles-duboscq

ci.jsonnet

@@ -6,7 +6,7 @@ local common = import 'common.jsonnet';
   // Used to run fewer jobs
   local debug = false,
 
-  local overlay = '586c94f91290a4595d78cc386797344727108d32',
+  local overlay = '9e952ebb715cbb4f8244a561421657a34dcfe2e7',
 
   local no_overlay = 'cb733e564850cd37b685fcef6f3c16b59802b22c',
 

common.jsonnet

@@ -22,7 +22,7 @@ local jdks = (import "common.json").jdks;
   deploy:      {targets+: ['deploy']},
   gate:        {targets+: ['gate']},
   postMerge:   {targets+: ['post-merge']},
-  bench:       {targets+: ['bench', 'post-merge']},
+  bench:       {targets+: ['bench']},
   dailyBench:  {targets+: ['bench', 'daily']},
   weeklyBench: {targets+: ['bench', 'weekly']},
   manualBench: {targets+: ['bench']},
@@ -36,6 +36,7 @@ local jdks = (import "common.json").jdks;
 
   local common = python3 + {
     packages+: {
+      'mx': '5.274.1',
       'pip:pylint': '==1.9.3',
       'pip:ninja_syntax': '==1.7.2',
     },