From 6907a39796aeffe27fd6c16ef3cdd43622143313 Mon Sep 17 00:00:00 2001
From: Florian Vahl <7vahl@informatik.uni-hamburg.de>
Date: Tue, 4 Mar 2025 15:35:03 +0100
Subject: [PATCH] make verbose CI debug build

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 375fe05b5..0f1f43cf2 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ install-no-root: pull-init update-no-root
 
 pip:
 	# Install and upgrade pip dependencies
-	pip install --upgrade -r requirements/dev.txt --user
+	pip install --upgrade -r requirements/dev.txt --user -v
 
 pre-commit:
 	# Install pre-commit hooks for all submodules that have a .pre-commit-config.yaml file