mirror of
https://github.com/doctrine/orm.git
synced 2026-04-28 08:53:20 +02:00
Grégoire Paris
baf2c60cc4
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.