MikeLund
|
1e54a3e801
|
jenkins: use https when downloading docs (fixes #3651)
GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3652
|
2016-10-05 12:17:35 +00:00 |
|
Jakob Borg
|
526cab538a
|
jenkins: Don't fetch --prune unnecessarily, print build version on Windows
|
2016-09-13 22:18:55 +02:00 |
|
Jakob Borg
|
4f6206cb2d
|
build: Simpler creation of Debian packages
GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3591
|
2016-09-12 12:21:07 +00:00 |
|
Jakob Borg
|
3e51206a6b
|
build, jenkins: Jenkins version tag should be same as when building manually
|
2016-09-06 13:02:17 +02:00 |
|
Jakob Borg
|
8fcabac518
|
jenkins: Add batch file for Windows
|
2016-09-04 16:43:56 +02:00 |
|
Jakob Borg
|
abb0cfde72
|
jenkins: Add scripts for automated builds (Linux & Mac)
|
2016-09-04 15:30:16 +02:00 |
|