submitty.github.io
submitty.github.io copied to clipboard
[Documentation:Developer] New Vagrant Worker Instructions
Updated documentation of worker setup to reflect changes in Submitty/Submitty#10530.