mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
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.