Starts a bunch of VMs, so won't be practical to run on
GitHub Actions (no support for nested virtualization).
Adjust the Makefile such that the Actions workflow runs
"short" tests, skipping the ones needing virtualization
capabilities.