Commit Graph

3 Commits

Author SHA1 Message Date
db9cbb55c2 Rename lemma service 2024-12-27 19:31:21 +01:00
55b943be05 Set lemma log level to debug 2024-12-27 18:14:57 +01:00
bc6e1ed7a7 Add lemma notes deployment 2024-12-27 17:54:30 +01:00