Norman Maurer 86762030cf Use profile for overriding properties when building on the CI (#11232) ... Motivation: 0f25213918 introduced some properties that were used to make builds more stable on the ci. All of these properties were duplicated everywhere, this made it hard to maintain Modifications: - Add profile which sets the properties. - Just use the profile when build on the ci Result: Easier to maintain custom properties for the ci build		2021-05-07 18:24:54 +02:00
..
ci-build.yml	Use custom script to check for build failures (#10968)	2021-01-27 12:02:24 +01:00
ci-deploy.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:24:54 +02:00
ci-pr-reports.yml	Update from JDK15 to JDK16 (#11218)	2021-05-03 18:15:37 +02:00
ci-pr.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:24:54 +02:00
ci-release.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:24:54 +02:00
codeql-analysis.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:24:54 +02:00