ci: Reduce required run time#47541

Merged

nickvergessen merged 2 commits intomasterfrom

ci/noid/lighter

Aug 27, 2024

Commits on Aug 27, 2024

ci: Run things we only run on 1 PHP version on the preinstalled 8.1 which installs ~2m faster
nickvergessen
committed
ci: Don't run things normally and with coverage flag on the same configuration
nickvergessen
committed