Improve speed of gradle related jobs in pipeline #23
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Feature Request
Summary
Improve speed of gradle related jobs outlined in this userguide.
Required workarround
None.
Description
Both can be enabled by either flags or modifying contents of the
gradle.propertiesfile.Checklist
I reproduced the problem using the steps aboveI searched documentation docs for relevant informationmarked this task as related to #24
assigned to @lars.winzer
created branch
chore/23-improve-speed-of-gradle-ci-jobsto address this issueClosed by https://git.scicore.unibas.ch/cs108-fs26/Gruppe-13/-/merge_requests/55
added 20m of time spent at 2026-03-30 12:00:00 +0200