Syntacticaly invalid semantic test
The test https://git.scc.kit.edu/IPDSnelting/mjtest-tests/blob/master/semantic/main_wrong_type_args.invalid.mj is already syntactically invalid, and thus should not be part of the semantic test suite.
Main arg is String
in the grammer.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information