Skip to content

Conversation

@andreabedini
Copy link
Member

No description provided.

@andreabedini andreabedini force-pushed the wip/andrea/inline-versions branch from 7c72fd5 to eb73f7f Compare October 18, 2025 03:43
@hasufell
Copy link
Member

Do we have a script to bump the versions?

@andreabedini
Copy link
Member Author

Do we have a script to bump the versions?

Good point. No, but I'll make one before we merge this.

@andreabedini andreabedini marked this pull request as draft October 23, 2025 05:09
@andreabedini andreabedini force-pushed the wip/andrea/inline-versions branch from eb73f7f to f743210 Compare November 14, 2025 01:38
@andreabedini andreabedini force-pushed the wip/andrea/inline-versions branch from f743210 to bebf0d4 Compare November 14, 2025 02:54
@andreabedini andreabedini marked this pull request as ready for review November 14, 2025 02:54
@andreabedini
Copy link
Member Author

@hasufell I have added update_versions.awk

@hasufell
Copy link
Member

@hasufell I have added update_versions.awk

how do I use this?

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.

3 participants