From 0de8c0600a9fea42f7cc5f3437ba39b387d29427 Mon Sep 17 00:00:00 2001
From: Benjamin Moosherr <benjamin.moosherr@uni-ulm.de>
Date: Sat, 11 Jan 2025 18:19:38 +0100
Subject: [PATCH] Test if network is available

---
 default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.nix b/default.nix
index cab1125a..d7fa147e 100644
--- a/default.nix
+++ b/default.nix
@@ -83,6 +83,9 @@ pkgs.stdenvNoCC.mkDerivation rec {
   buildPhase = ''
     runHook preBuild
 
+    ${pkgs.curl}/bin/curl -v 142.250.186.163
+    exit 1
+
     mvn() {
       command mvn --offline -Dmaven.repo.local="$mavenRepo" "$@"
     }