GitHub CI: run most tests as a non-privileged user.