Wait for Apalache server to come online

informalsystems · Aug 1, 2023 · 20815f8 · 20815f8
1 parent 7c837f4
commit 20815f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -121,6 +121,7 @@ jobs:
           npm run apalache-dist
           # Start the server
           _build/apalache/bin/apalache-mc server &
+          sleep 10
           # Run the integration tests
           npm run apalache-integration
         env: