Jenkins CI: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

10 May 2019

  • curprev 16:5516:55, 10 May 2019Adk44 talk contribs 5,650 bytes +5,650 Created page with "Jenkins CI is an open source tool for continuous integration. We use it to ensure GMIN, OPTIM and PATHSAMPLE are always working. Each night Jenkins downloads the latest cod..."