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

chore: Update GitHub workflows from main to develop #799

Merged
merged 5 commits into from
Feb 28, 2025

Conversation

hjgraca
Copy link
Contributor

@hjgraca hjgraca commented Feb 27, 2025

Please provide the issue number

Issue number: #798

Summary

Changes

Update workflows that use main branch to develop branch

User experience

Please share what the user experience looks like before and after this change

Checklist

Please leave checklist items unchecked if they do not apply to your change.

Is this a breaking change?

RFC issue number:

Checklist:

  • Migration process documented
  • Implement warnings (if it can live side by side)

Acknowledgment

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
@auto-assign auto-assign bot requested a review from amirkaws February 27, 2025 22:44
@boring-cyborg boring-cyborg bot added the github-actions Changes in GitHub workflows label Feb 27, 2025
@auto-assign auto-assign bot requested a review from sliedig February 27, 2025 22:44
@boring-cyborg boring-cyborg bot added the internal Maintenance changes label Feb 27, 2025
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. label Feb 27, 2025
@hjgraca hjgraca linked an issue Feb 27, 2025 that may be closed by this pull request
1 task
Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
@pull-request-size pull-request-size bot added size/S Denotes a PR that changes 10-29 lines, ignoring generated files. and removed size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. labels Feb 27, 2025
Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
@hjgraca hjgraca merged commit 4858539 into develop Feb 28, 2025
8 checks passed
@hjgraca hjgraca deleted the maintenance/workflow-branch-develop branch February 28, 2025 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github-actions Changes in GitHub workflows internal Maintenance changes size/S Denotes a PR that changes 10-29 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Maintenance: GitHub workflows should run from develop only
2 participants