Using Github actions gives much more control to contributors.
Ultimately, we'd like to add Windows support too,
but currently the testsuite is too tied to POSIX.