Improve formatting by using golines#69

Open

jrosain wants to merge 3 commits intoGoelandProver:masterfrom

jrosain:use-golines

Commits on Feb 22, 2026

Add: golines as a dependency to avoid having lines over a 100 characters
jrosain
committed
Fix: run golines with character limit 100 on the whole directory
jrosain
committed
Add: linter to automatically check if a file has been properly formatted
jrosain
committed