You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is annoying to re-run flow/scripts/generate-variables-docs.py to update docs/user/FlowVariables.md as part of PRs, because it is likely to create conflicts. Especially if the format of docs/user/FlowVariables.md is amended.
Suggested Solution
Run flow/scripts/generate-variables-docs.py and create doc update commit as part of OpenROAD bot
Additional Context
No response
The text was updated successfully, but these errors were encountered:
Or... alternatively, create manual occasional standalone PRs to update docs. This would avoid merge conflicts and keep the docs up to date in practice.
Description
It is annoying to re-run flow/scripts/generate-variables-docs.py to update docs/user/FlowVariables.md as part of PRs, because it is likely to create conflicts. Especially if the format of docs/user/FlowVariables.md is amended.
Suggested Solution
Run
flow/scripts/generate-variables-docs.py
and create doc update commit as part of OpenROAD botAdditional Context
No response
The text was updated successfully, but these errors were encountered: