Skip to content

Only build release on tag, else debug build#31

Merged
jgeudens merged 1 commit intomasterfrom
dev/release_on_tag
Apr 16, 2026
Merged

Only build release on tag, else debug build#31
jgeudens merged 1 commit intomasterfrom
dev/release_on_tag

Commits

Commits on Apr 15, 2026