Skip to content

GitLab

The expiration time for new job artifacts in CI/CD pipelines is now 30 days (GitLab default). Previously generated artifacts in already completed jobs will not be affected by the change. The latest artifacts for all jobs in the latest successful pipelines will be kept. More information: https://gitlab.lrz.de/help/user/admin_area/settings/continuous_integration.html#default-artifacts-expiration

Open
Created by Daniel Lehmberg@dlehmMaintainer

Sort vadere.conf keys alphabetically

When a new key-value pair is inserted to the vadere.conf, then the used library Apache.commons.configuration2 appends it to the file. It is better to have the vadere.conf sorted.

See VadereConfig.java for an entry

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information