Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: automatize PPs generation on major version bumps #450

Merged
merged 3 commits into from
Feb 5, 2025

Conversation

delehef
Copy link
Collaborator

@delehef delehef commented Feb 4, 2025

This PR carries over from DQ the script used to generate the PPs, and adds an action to automatically trigger it when preparing a PR for a major version bump. The action should be manually runnable as well.

Copy link

linear bot commented Feb 4, 2025

tools/src/gen-params.rs Outdated Show resolved Hide resolved
@delehef delehef merged commit 3ac7a3e into main Feb 5, 2025
5 checks passed
@delehef delehef deleted the lag-517-automatize-pps-generation branch February 5, 2025 14:40
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.

2 participants