commit | 509cc4c89701dda4fb07ce70b4ccb34a26fd3a67 | [log] [tgz] |
---|---|---|
author | Brian Olsen <bnolsen@gmail.com> | Wed Jul 19 13:43:51 2023 +0000 |
committer | Brian Olsen <bnolsen@gmail.com> | Wed Jul 19 13:43:57 2023 +0000 |
tree | c92595489adea15721e93e1c72c52f3330a42c8f | |
parent | 532775092fd03fd86f3c5f61c3eb0d097c98ee47 [diff] |
change to debian 12 for github pr builds
diff --git a/jenkins/github/debian.pipeline b/jenkins/github/debian.pipeline index aa152c0..8f9e026 100644 --- a/jenkins/github/debian.pipeline +++ b/jenkins/github/debian.pipeline
@@ -1,7 +1,7 @@ pipeline { agent { docker { - image 'ci.trafficserver.apache.org/ats/debian:10' + image 'ci.trafficserver.apache.org/ats/debian:12' registryUrl 'https://ci.trafficserver.apache.org/' label 'docker' args '-v ${HOME}/ccache:/tmp/ccache:rw'