- Downloads
Merge branch 'ci/publish' into 'main'
Only automatically publish if tagged commits are on main See merge request !32
No related branches found
No related tags found
Please sign in to comment
Aufgrund einer Wartung am 18.11.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 18.11.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
Only automatically publish if tagged commits are on main See merge request !32