CI

Merge dev and add tweaks and fixes. #1800

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tests with PHP 8.1	8m 24s
Tests with PHP 8.2	8m 43s
Tests with PHP 8.3	4m 42s
	21m 49s