Skip to content

ci: Add auto-push -dev#268

Merged
daniele-moro merged 4 commits intomainfrom
add_auto_dev
Jun 13, 2025
Merged

ci: Add auto-push -dev#268
daniele-moro merged 4 commits intomainfrom
add_auto_dev

Conversation

@daniele-moro
Copy link
Copy Markdown
Contributor

Description

Add post-merge Job to automatically Push PR with -dev.

Any Newly Introduced Dependencies

Please describe any newly introduced 3rd party dependencies in this change. List their name, license information and how they are used in the project.

How Has This Been Tested?

Please describe the tests that you ran to verify your changes. Provide instructions so we can reproduce. Please also list any relevant details for your test configuration

Checklist:

  • I agree to use the APACHE-2.0 license for my code changes
  • I have not introduced any 3rd party dependency changes
  • I have performed a self-review of my code

@daniele-moro daniele-moro enabled auto-merge (squash) June 13, 2025 12:39
@daniele-moro daniele-moro merged commit 65b4c43 into main Jun 13, 2025
10 checks passed
@daniele-moro daniele-moro deleted the add_auto_dev branch June 13, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants