From 2c6e9d0e809d8da6719bfcf47af94fd0915d132d Mon Sep 17 00:00:00 2001
From: Nicolas Richart <nicolas.richart@epfl.ch>
Date: Wed, 7 Feb 2024 13:18:33 +0100
Subject: [PATCH] Adding global config

---
 config.yaml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 config.yaml

diff --git a/config.yaml b/config.yaml
new file mode 100644
index 0000000..da38440
--- /dev/null
+++ b/config.yaml
@@ -0,0 +1,6 @@
+config:
+#  ccache: true
+  install_missing_compilers: false
+
+  install_tree:
+    padded_length: true
-- 
GitLab