Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

Linter

uxrog requested to merge feat/linter into master

Add a linter for newly committed test files.

  • Add readme comment on how to run and what this is for.
  • Add possibility to switch between checksets (e.g. not every .mj file in the syntax directory needs an .out file) (future issue)
Edited by uxrog

Merge request reports

Imprint