Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 24, 2023

• Adjusting Jenkinsfiles to Linux cluster

  

  Matthias Koefferlein

  committedFeb 24, 2023
  3ac7912

Commits on Mar 29, 2020

• Disable concurrent builds on Jenkins

  klayoutmatthias

  committedMar 29, 2020
  b7ee5b0

Commits on Jun 24, 2018

• Fixed Jenkinsfile-publish-sources

  klayoutmatthias

  committedJun 24, 2018
  03cba76

• Added Jenkinsfile to publish sources

  klayoutmatthias

  committedJun 24, 2018
  5b73d1d

Loading