Enable all but highlight tests

jneira · web-flow · commit 756d850a1da8 · 2021-11-01T20:02:50.000+01:00
diff --git a/test/functional/Main.hs b/test/functional/Main.hs
@@ -34,7 +34,7 @@ main = defaultTestRunner
             , FunctionalLiquid.tests
             , HieBios.tests
             , ignoreInEnv [HostOS Windows, GhcVer GHC90] "Tests gets stuck in ci" $ Highlight.tests
-            , ignoreInEnv [HostOS Windows, GhcVer GHC90] "Tests gets stuck in ci" $ Progress.tests
+            , Progress.tests
             , Reference.tests
             , Symbol.tests
             , TypeDefinition.tests
