fix smoke

anoma · Dec 3, 2024 · 17d2827 · 17d2827
1 parent f604025
commit 17d2827
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/Juvix/Data/Effect/Git/Process.hs b/src/Juvix/Data/Effect/Git/Process.hs
@@ -75,7 +75,7 @@ gitFetchOnline = withTaggedLockDir' (void (runGitCmdInDir ["fetch"]))
 gitCloneOnline :: (Members '[Logger, Error GitProcessError, ProcessE, Online, Reader CloneEnv] r) => Text -> Sem r ()
 gitCloneOnline url = do
   p <- asks (^. cloneEnvDir)
-  logProgress (mkAnsiText ("Cloning " <> url <> " to " <> pack (toFilePath p)))
+  logInfo (mkAnsiText ("Cloning " <> url <> " to " <> pack (toFilePath p)))
   void (runGitCmd ["clone", url, T.pack (toFilePath p)])
 
 cloneGitRepo :: (Members '[Logger, Files, ProcessE, Error GitProcessError, Reader CloneEnv, Internet] r) => Text -> Sem r ()

diff --git a/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml b/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml
@@ -1115,13 +1115,13 @@ tests:
         EOF
 
         # compile project
-        juvix --log-level error compile native HelloWorld.juvix
+        juvix --log-level info compile native HelloWorld.juvix
 
         # delete the dependency to check that it's not required
         rm -rf $temp/dep
 
         # compile project
-        juvix --log-level error compile native HelloWorld.juvix
+        juvix --log-level info compile native HelloWorld.juvix
     stdout:
       contains: ""
     stderr:

diff --git a/tests/smoke/Commands/compile-dependencies.smoke.yaml b/tests/smoke/Commands/compile-dependencies.smoke.yaml
@@ -1156,13 +1156,13 @@ tests:
         EOF
 
         # compile project
-        juvix --log-level error compile native HelloWorld.juvix
+        juvix --log-level info compile native HelloWorld.juvix
 
         # delete the dependency to check that it's not required
         rm -rf $temp/dep
 
         # compile project
-        juvix --log-level error compile native HelloWorld.juvix
+        juvix --log-level info compile native HelloWorld.juvix
     stdout:
       contains: ""
     stderr: