update TODO list

rudymatela · Aug 28, 2024 · 06a270b · 06a270b
1 parent 7f73b8a
commit 06a270b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/TODO.md b/TODO.md
@@ -1,7 +1,10 @@
 TODO for leancheck.py
 =====================
 
-* add documentation to all functions
+* generate docs on CI
+
+* add documentation to module and to all functions
+	- reorder functions if necessary
 
 * simplify code