Skip to content

ci: add new job to check if versioned_docs has been modified#1719

Merged
pd93 merged 1 commit intogo-task:mainfrom
vmaerten:check-versioned_docs
Jul 16, 2024
Merged

ci: add new job to check if versioned_docs has been modified#1719
pd93 merged 1 commit intogo-task:mainfrom
vmaerten:check-versioned_docs

Commits

Commits on Jul 9, 2024