Skip to content

Replace Jenkins builds on any branch prefixed with docs/ with github action #6

Replace Jenkins builds on any branch prefixed with docs/ with github action

Replace Jenkins builds on any branch prefixed with docs/ with github action #6

mkdocs

succeeded Mar 27, 2024 in 44s