10 Jul
2013
10 Jul
'13
3 p.m.
Hi,
Maybe consider running 'make check' in a pre-receive hook on the server.
Not so easy ... it's not good practice to just allow anyone with push privilege to execute code on the server like that. So a good system with proper separation etc ... would be non-trivial. Also, this would slow down pushes to a crawl since you'd need to actually build the thing and its dependencies ...
Cheers,
Sylvain