Skip to content

Run CI on a pull request into an operational develop - #587

Merged
ptr727 merged 2 commits into
developfrom
feature/585-operational-pr-into-develop
Aug 6, 2026
Merged

Run CI on a pull request into an operational develop#587
ptr727 merged 2 commits into
developfrom
feature/585-operational-pr-into-develop

Commits

Commits on Aug 6, 2026