Commit History

Author SHA1 Message Date
  Jakob Borg bfb48b5dde jenkins: Clean should remove old snaps 9 years ago
  MikeLund 1e54a3e801 jenkins: use https when downloading docs (fixes #3651) 9 years ago
  Jakob Borg 526cab538a jenkins: Don't fetch --prune unnecessarily, print build version on Windows 9 years ago
  Jakob Borg 3e51206a6b build, jenkins: Jenkins version tag should be same as when building manually 9 years ago
  Jakob Borg abb0cfde72 jenkins: Add scripts for automated builds (Linux & Mac) 9 years ago