Yup, but using Travis as the platform for an autograder makes it A LOT easier for teachers/professors with less access to dev time to implement a great iteration platform. At Berkeley our intro classes had world-class infrastructure autograders (release I believe as ok.py https://okpy.org/) - but I imagine less staffed courses could benefit from a workflow like this. Plus, it gives students the benefit of familiarity with actual tools that are in use in the industry.