summaryrefslogtreecommitdiffstats
path: root/contrib
AgeCommit message (Expand)AuthorFilesLines
2020-03-03contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1Pau Espin Pedrol1-1/+1
2020-01-15docker: move to docker-playground.gitOliver Smith1-2/+1
2017-11-28contrib/jenkins.sh: rather git checkout -f instead of pullNeels Hofmeyr1-1/+1
2017-11-28contrib/jenkins.sh: update from current jenkins job update-osmo-ci-on-slavesNeels Hofmeyr1-4/+8
2017-11-10jenkins: Follow the convention and create a jenkins.sh as wellHolger Hans Peter Freyther1-0/+12