Add more flexibility to leaders format #1

Merged
nathanwoodburn merged 6 commits from feat/flexible-leaders into main 2026-02-18 12:17:21 +11:00

6 Commits

Author SHA1 Message Date
f79cb6e91d fix: Remove more copies from dockerfile
All checks were successful
Build Docker / BuildImage (push) Successful in 1m2s
2026-02-18 12:06:28 +11:00
c72c045f23 fix: Remove broken dockerfile copies
Some checks failed
Build Docker / BuildImage (push) Failing after 31s
2026-02-18 12:02:21 +11:00
6e6eac6285 feat: Rename leader table header
Some checks failed
Build Docker / BuildImage (push) Failing after 32s
2026-02-18 12:00:44 +11:00
cd796bbe92 fix: Update Dockerfile
Some checks failed
Build Docker / BuildImage (push) Failing after 1m45s
2026-02-18 11:58:17 +11:00
2b2b69cd6a feat: Make leaders more flexible
Some checks failed
Build Docker / BuildImage (push) Failing after 2m22s
2026-02-18 11:46:42 +11:00
92a526f31d feat: Move to UV
Please enter the commit message for your changes. Lines starting
2026-02-18 11:23:37 +11:00