Fix the integration test

It depends on this logging output going to stdout.
informalsystems · Aug 25, 2023 · 503c589 · 503c589
1 parent ca0eca7
commit 503c589
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
@@ -273,6 +273,7 @@ async function tryConnect(retry: boolean = false): Promise<VerifyResult<Apalache
 
 function downloadAndUnpackApalache(): Promise<VerifyResult<null>> {
   const url = `https://github.com/informalsystems/apalache/releases/download/v${APALACHE_VERSION_TAG}/apalache.tgz`
+  console.log(`Downloading Apalache distribution from ${url}...`)
   return fetch(url)
     .then(
       // unpack response body