Grégoire Paris baf2c60cc4 Use more similar PHPUnit configurations ...

The dev configuration and CI configuration should not diverge this much.
I do not think the current situation was intended. A difference that
remains after my changes is the bootstrap file, which in dev seems aimed
at helping contributors setup their environment.

2025-03-18 20:08:09 +01:00

1.4 KiB

Raw Permalink Blame History

View Raw