Improve formatting by using golines - #69

Draft

jrosain wants to merge 3 commits into

GoelandProver:masterfrom

jrosain:use-golines

Commits on Feb 22, 2026

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