Skip to content

Apply subst to USER_HEADER - #1360

Merged
WardBrian merged 1 commit into
stan-dev:developfrom
ndabas:develop
Sep 23, 2026
Merged

WardBrian merged 1 commit into
stan-dev:developfrom
ndabas:develop

Apply subst to USER_HEADER too

da17099
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs