MDEV-39403: Add 13.1 branch

When merges are completed main is bumped to 13.1
Make sure schedulers accept this version.

Author: RazvanLiviuVarzaru

constants.py

@@ -22,6 +22,7 @@
     "12.2",
     "12.3",
     "13.0",
+    "13.1",
     "main",
 ]
 
@@ -238,7 +239,8 @@
 SUPPORTED_PLATFORMS["12.2"] = SUPPORTED_PLATFORMS["12.1"].copy()
 SUPPORTED_PLATFORMS["12.3"] = SUPPORTED_PLATFORMS["12.2"].copy()
 SUPPORTED_PLATFORMS["13.0"] = SUPPORTED_PLATFORMS["12.3"].copy()
-SUPPORTED_PLATFORMS["main"] = SUPPORTED_PLATFORMS["13.0"].copy()
+SUPPORTED_PLATFORMS["13.1"] = SUPPORTED_PLATFORMS["13.0"].copy()
+SUPPORTED_PLATFORMS["main"] = SUPPORTED_PLATFORMS["13.1"].copy()
 
 # Define environment variables for MTR step
 MTR_ENV = {

master-web/templates/grid_view/grid.jade

@@ -33,6 +33,8 @@
                 | ,
                 a(href="#grid?branch=13.0") 13.0
                 | ,
+                a(href="#grid?branch=13.1") 13.1
+                | ,
                 a(href="#grid?branch=main") main
                 | ,
                 a(href="#grid?branch=mariadb-4.x") mariadb-4.x (galera)

master-web/templates/home.jade

@@ -33,6 +33,8 @@
             | ,
             a(href="#grid?branch=13.0") 13.0
             | ,
+            a(href="#grid?branch=13.1") 13.1
+            | ,
             a(href="#grid?branch=main") main
             | ,
             a(href="#grid?branch=mariadb-4.x") mariadb-4.x (galera)