1 files changed, 7 insertions, 0 deletions
diff --git a/TODOs.md b/TODOs.md
index af31695..6545598 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,5 +1,12 @@
 # Tasks
 
+## TODO Fix tests in CI {#task-1e18a7cc-1055-bd09-3060-c03292ba583b}
+- TODO in 2021-06-12
+
+---
+
+For some reason, running them locally witn `./aux/guix/with-container.sh 'make clean public dev-check'` passes, but the same command doesn't on CI.
+
 ## DONE Support override via git config {#task-7695d33d-e96e-d313-b74b-860addde01c3}
 - DONE in 2021-06-12