Skip to content

build: auto merge PRs from scala steward#50

Merged
slandelle merged 1 commit into
mainfrom
auto-merge-dependencies
Jun 17, 2026
Merged

build: auto merge PRs from scala steward#50
slandelle merged 1 commit into
mainfrom
auto-merge-dependencies

Conversation

@Isammoc

@Isammoc Isammoc commented Jun 17, 2026

Copy link
Copy Markdown
Member

Motivation:
If the build pass, there is no other human verification before merging dependency PR.

Modifications:

  • Add auto-merge worfklow

Result:
PRs from scala steward will be automatically merged into the codebase if the build is successful

@Isammoc Isammoc self-assigned this Jun 17, 2026
@Isammoc Isammoc added the github_actions Pull requests that update GitHub Actions code label Jun 17, 2026
Motivation:
If the build pass, there is no other human verification before merging dependency PR.

Modifications:
 * Add auto-merge worfklow

Result:
PRs from scala steward will be automatically merged into the codebase if the build is successful
@Isammoc Isammoc force-pushed the auto-merge-dependencies branch from df51345 to e83f0f0 Compare June 17, 2026 13:31
@slandelle slandelle merged commit 6c2cc6d into main Jun 17, 2026
1 check passed
@slandelle slandelle deleted the auto-merge-dependencies branch June 17, 2026 20:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Development

Successfully merging this pull request may close these issues.

2 participants