Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove support files option #189
When #188 is finished, the option for support files can be removed too. This relates to the backend UI, the assignment model, and the executor code.
This feature was only needed to have support files when doing compilation jobs. Since they became validation jobs in the future, all support files can end up in the validator archive.