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

+15

Commits on Jul 9, 2024

ci: add new workflow to check if versioned_docs has been modified
vmaerten
committed