Fix linter and add postscript to auto fix it later #257
ci.yml
on: push
Build
18s
Typechecker
19s
Unit and Integration Tests
15s
Linter
24s