Skip to content
[Jenkins]Jenkins
log insign up
Success

#61 (Jun 12, 2020, 2:56:06 PM)

Started 4 yr 4 mo ago
Took 0.44 sec on admin2-deb9build

Started by an SCM change

Revision: 932b00cfbcdd39e9997cd383e9572be937a9d85c
Repository: git://git.osmocom.org/docker-playground
  • refs/remotes/origin/master
Changes
  1. debian-stretch-jenkins/Dockerfile: Install source-highlight (details)