diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 0dceb1c8de665016198a1f79a02ed7f51a431094..69bfc25500e1d0fa8ef1e3a547894dcef7f7ab15 100755 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -27,10 +27,6 @@ pipeline { description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.') } - environment { - YASHCHIKI_HOST_ENV_PATH = "${WORKSPACE}/host.env" - } - stages { stage('Container Build') { // TODO: remove once unused diff --git a/.ci/Jenkinsfile_asic b/.ci/Jenkinsfile_asic index 9fd0e7eda932a51a7951c65c7af2b43b094db7bf..b7f8716e2ad6332098c318720472e13003fae119 100755 --- a/.ci/Jenkinsfile_asic +++ b/.ci/Jenkinsfile_asic @@ -27,10 +27,6 @@ pipeline { description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.') } - environment { - YASHCHIKI_HOST_ENV_PATH = "${WORKSPACE}/host.env" - } - stages { stage('Container Build') { // TODO: remove once unused