GitHub Actions + Testfaster CI experiment, see https://www.dropbox.com/scl/fi/msobsf2g3zaxszbkgej4k/GitHub-Actions-TestFaster-CI-experiment.paper - View it on GitHub