Students do use the github editor to change files and commit, which triggers travis and in this way they can check if the changes work: No installations needed!