When we implement #416, we should also add support for reporting results (score and maybe a partial build log) on the PR. This would save the students from having to interact with both GitHub and QuickFeed for most activities. This would be similar to what Codecov does for coverage results. Teachers will still need to view the results table as before.
When we implement #416, we should also add support for reporting results (score and maybe a partial build log) on the PR. This would save the students from having to interact with both GitHub and QuickFeed for most activities. This would be similar to what Codecov does for coverage results. Teachers will still need to view the results table as before.