chore(github): Add to github actions

2022-07-20 13:01:31 +10:00
parent 9e23561184
commit d4ffe15e45
3 changed files with 3 additions and 3 deletions
@@ -40,7 +40,7 @@ jobs:
          - t18
          - t8
          - tlite
-          - tx12
+          - tx12;tx12mk2
          - tx16s
          - x10
          - x12s
@@ -24,7 +24,7 @@ jobs:
          - t18
          - t8;zorro
          - tlite;tpro
-          - tx12
+          - tx12;tx12mk2
          - tx16s
          - x10;x10-access
          - x12s