diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
index 16546872f..a140d22c8 100644
--- a/.github/workflows/actions.yml
+++ b/.github/workflows/actions.yml
@@ -98,7 +98,7 @@ jobs:
           - t16
           - t18
           - t8;zorro;pocket;commando8
-          - tlite;tlitef4;tpro;tprov2;lr3pro
+          - tlite;tpro;tprov2;lr3pro
           - t20
           - tx12;tx12mk2;boxer
           - tx16s
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index e9c707483..7efd55650 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -23,7 +23,7 @@ jobs:
           - t16
           - t18
           - t8;zorro;pocket;commando8
-          - tlite;tlitef4;tpro;tprov2;lr3pro
+          - tlite;tpro;tprov2;lr3pro
           - t20
           - tx12;tx12mk2;boxer
           - tx16s