Add GitHub workflows

2020-09-21 12:22:40 +02:00
parent 1d973f7e31
commit 0dcfdb9b89
15 changed files with 1011 additions and 75 deletions
--- a/tests/drivers/run.sh
+++ b/tests/drivers/run.sh
@@ -31,7 +31,8 @@ fi
 $binary_dir/memgraph \
    --data-directory=$tmpdir \
    --query-execution-timeout-sec=5 \
-    --bolt-session-inactivity-timeout=10 &
+    --bolt-session-inactivity-timeout=10 \
+    --min-log-level 1 &
 pid=$!
 wait_for_server 7687

@@ -53,7 +54,7 @@ done

 # Stop memgraph.
 kill $pid
-wait -n
+wait $pid
 code_mg=$?

 # Temporary directory cleanup.