enforce formatting in CI + format everything#112

c-cube wants to merge 3 commits intomastersneeuwballen/zipperposition:masterfrom

simon/enforce-formatsneeuwballen/zipperposition:simon/enforce-formatCopy head branch name to clipboard