more tries

robur-coop · Jun 25, 2024 · f3b8172 · f3b8172
1 parent 90301c2
commit f3b8172
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/e2e.yml b/.github/workflows/e2e.yml
@@ -32,7 +32,7 @@ jobs:
           opam install bisect_ppx
 
       - name: Build
-        run: opam exec -- dune build --instrument-with bisect_ppx
+        run: opam exec -- dune build --instrument-with bisect_ppx @all
 
       - name: Testing
         run: |

diff --git a/test/e2e/miragevpn-server.sh b/test/e2e/miragevpn-server.sh
@@ -21,7 +21,7 @@ pidfile="/tmp/miragevpn-e2e.pid"
 
 # kill openvpn client
 cleanup () {
-	cat "$pidfile" | xargs kill
+	{ cat "$pidfile" || true } | xargs -r kill
 	rm -f "$pidfile"
 }
 trap cleanup EXIT