mirror of
https://gitlab.com/crafty-controller/crafty-4.git
synced 2025-01-19 01:35:28 +01:00
d4a576cdd3
exit 1 if differences are found to notify pipeline!