Skip to content

various changes relevant for Jenkins and documentation builds

Martin Christoph Hierholzer requested to merge mhier/fix-github-docu into main

This is helpful for Jenkins to prevent massive overload

Merge request reports

imprint | privacy | Conditions of Use