diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 20548768e2b544c3c0f599541d8a7273f1d6b1d3..6107e105a951cccc1e88a1f7b6dfb19fdaef3527 100755 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -23,7 +23,7 @@ pipeline { parameters { string(name: 'BUILD_CACHE_NAME', - defaultValue: 'init_from_2021-05-15_1', + defaultValue: 'init_from_2021-09-25_1', description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.') }