Skip to content
New issue

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

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

Already on GitHub? # to your account

Sanitize & auto-increment build numbers on PR merges #1898

Merged
merged 3 commits into from
Feb 25, 2025

Conversation

drkameleon
Copy link
Collaborator

Description

Fixes #1893

Also related (test): https://github.com/drkameleon/testbuiltincrement

Type of change

  • Code cleanup
  • Enhancement (implementation update, or general performance enhancements)

@github-actions github-actions bot added the workflows Issues related to GitHub workflows, building, releases, etc label Feb 25, 2025
@github-actions github-actions bot added the installer Issues related to the Installation script label Feb 25, 2025
@drkameleon
Copy link
Collaborator Author

Ready to merge! 🚀

@drkameleon drkameleon merged commit cee0373 into master Feb 25, 2025
13 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
installer Issues related to the Installation script workflows Issues related to GitHub workflows, building, releases, etc
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Modify build number handling & integrate in PR merges
1 participant