CI: build artefacts by jenkins triggered via git push