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!