[riot-commits] [RIOT-OS/RIOT] e40a27: jenkins: delete workspace after build

Sebastian Meiling s at mlng.net
Sun Jan 15 17:25:19 CET 2017


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: e40a271d0cbe18875bd18793dce1be5ab09c1351
      https://github.com/RIOT-OS/RIOT/commit/e40a271d0cbe18875bd18793dce1be5ab09c1351
  Author: Cenk Gündoğan <mail at cgundogan.de>
  Date:   2017-01-15 (Sun, 15 Jan 2017)

  Changed paths:
    M Jenkinsfile

  Log Message:
  -----------
  jenkins: delete workspace after build


  Commit: 40f1dfecce226a7e942ebf7eb38ef7737b8590f4
      https://github.com/RIOT-OS/RIOT/commit/40f1dfecce226a7e942ebf7eb38ef7737b8590f4
  Author: Sebastian Meiling <s at mlng.net>
  Date:   2017-01-15 (Sun, 15 Jan 2017)

  Changed paths:
    M Jenkinsfile

  Log Message:
  -----------
  Merge pull request #6365 from cgundogan/pr/jenkins_delete_workspace

jenkins: delete workspace after build


Compare: https://github.com/RIOT-OS/RIOT/compare/3999d08f8ca5...40f1dfecce22


More information about the commits mailing list