Kleros Scout updates till 6 Jan 2025 (#88)

LedgerHQ · Jan 6, 2025 · 7c7366d · 7c7366d
1 parent 4338460
commit 7c7366d
Show file tree

Hide file tree

Showing 59 changed files with 14,670 additions and 13,938 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,7 @@ scripts/.scala-build/
 .metals/*
 .vscode/*
 .github/scripts/.bsp
+.github/workflows/monthly-kleros-sync.yml
 Kleros_update_logs.txt
 setup.cfg
 PR_comments.txt