normally they will be triggered on each git push. we have some lags right now but I hope to fix those tomorrow evening. right now they are up2date with HEAD.
normally they will be triggered on each git push. we have some lags right now but I hope to fix those tomorrow evening. right now they are up2date with HEAD.