Revision history of "Jenkins CI"

Jump to navigation Jump to search

Diff selection: Mark the radio boxes 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.

  • curprev 17: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..."