Norman Maurer c443bc40fa Use MAVEN_OPTS to setup timeouts for dependency downloads (#11250) ... Motivation: Just use MAVEN_OPTS to setup all the timeouts etc for dependency downloads. This way we at least can be sure these are applied. Modifications: - Use MAVEN_OPTS - Remove ci profile - Remove unused settings.xml file - Always use ./mvnw Result: Build stability improvements		2021-05-12 18:02:35 +02:00
..
check_build_result.sh	Use custom script to check for build failures (#10968)	2021-01-27 12:02:24 +01:00
check_leak.sh	Let script fail if one command fail (#10945)	2021-01-15 16:47:49 +01:00
merge_local_staging.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00
release_checkout_tag.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00
release_rollback.sh	Use MAVEN_OPTS to setup timeouts for dependency downloads (#11250)	2021-05-12 18:02:35 +02:00