Skip to content

Rename the build record's fields and the code around them - #1277

Merged
jgabry merged 3 commits into
v1.0from
rename-record-fields
Sep 18, 2026
Merged

Rename the build record's fields and the code around them#1277
jgabry merged 3 commits into
v1.0from
rename-record-fields

Merge branch 'rename-record-fields' of https://github.com/stan-dev/cm…

594091d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar