Skip to content

Conversation

WardBrian
Copy link
Member

Reverts #779

With stan-dev/cmdstan#1320, I'm not sure this is necessary. Removing it would let us update to avoid parsing the csv comments entirely (see #685).

It would be easy to get back after stan-dev/stan#3340

@WardBrian WardBrian closed this Oct 15, 2025
@WardBrian WardBrian deleted the revert-779-issue/778-get-timing branch October 15, 2025 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant