Norman Maurer 414de53226 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:25:51 +02:00
..
ci-build.yml	Bring forward build automation changes (#11052)	2021-03-02 17:44:03 +01:00
ci-deploy.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:25:51 +02:00
ci-pr-reports.yml	Update from JDK15 to JDK16 (#11218)	2021-05-03 18:16:42 +02:00
ci-pr.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:25:51 +02:00
ci-release.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:25:51 +02:00
codeql-analysis.yml	Use profile for overriding properties when building on the CI (#11232)	2021-05-07 18:25:51 +02:00