Michael's docker container, which this CI is based on, needs to support different PHP versions, see https://github.com/michaelmcandrew/civicrm-buildkit-docker/issues/71. When that's given, we can reconfigure the CI to run tests in PHP 7.4 and 8.0. See also #645