Skip to content

add gitlab CI script

Karl Kosack requested to merge add_ci into main

adds a CI script to build the full glossary and example docs

Merge request reports