It is apparently possible to run the tests in GitHub Actions as a non-root user. I could use this to limit the craziness students could get up to there, but I suspect that's overkill. I'll keep it here as an idea, and if there turns out to be a genuine need down the road then we could worry about it.
It is apparently possible to run the tests in GitHub Actions as a non-root user. I could use this to limit the craziness students could get up to there, but I suspect that's overkill. I'll keep it here as an idea, and if there turns out to be a genuine need down the road then we could worry about it.