Skip to content

Set up CI runs for PRs and pushes to the Development branch#488

Merged
TomWerner merged 1 commit intoDevelopmentfrom twrner/set-up-ciJan 13, 2025

Commits

Commits on Jan 13, 2025