1 files changed, 2 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index 1b33564fb..d41b3aa81 100755
--- a/ci.sh
+++ b/ci.sh
@@ -2,6 +2,8 @@
 set -euxo pipefail
+export DEFMT_LOG=trace
 # build examples
 #==================

diff --git a/ci.sh b/ci.sh index 1b33564fb..d41b3aa81 100755 --- a/ci.sh +++ b/ci.sh
@@ -2,6 +2,8 @@
2		2
3	set -euxo pipefail	3	set -euxo pipefail
4		4
		5	export DEFMT_LOG=trace
		6
5	# build examples	7	# build examples
6	#==================	8	#==================
7		9