diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 9df98be0aaacfd057425ba8a045e33ab2519b77b..454dd0157ed624a4ad8c094bd1a18ca6a75cae40 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -4,13 +4,11 @@ withCcache() { wafDefaultPipeline(projects: ["halco"], moduleOptions: [modules: ["ppu-toolchain"]], container: [app: "dls-core"], - testSlurmResource: [partition: "jenkins"], configureInstallOptions: "--with-pybind --build-profile=ci", notificationChannel: "#dls-software") wafDefaultPipeline(projects: ["halco"], container: [app: "wafer"], - testSlurmResource: [partition: "jenkins"], notificationChannel: "#softies", configureInstallOptions: "--build-profile=ci") }