chore: remove discrepancy in x10/x7 naming (#5254)

2024-07-06 22:12:50 +10:00
parent 05a13acab6
commit 8dad05e1bb
10 changed files with 25 additions and 25 deletions
@@ -105,9 +105,9 @@ jobs:
          - tx12;tx12mk2;boxer
          - tx16s
          - f16
-          - x10;x10-access
+          - x10;x10express
          - x12s
-          - x7;x7-access
+          - x7;x7access
          - x9d;x9dp;x9dp2019
          - x9e;x9e-hall
          - x9lite;x9lites
@@ -26,9 +26,9 @@ jobs:
          - tx12;tx12mk2;boxer
          - tx16s
          - f16
-          - x10;x10-access
+          - x10;x10express
          - x12s
-          - x7;x7-access
+          - x7;x7access
          - x9d;x9dp;x9dp2019
          - x9e;x9e-hall
          - x9lite;x9lites