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