Skip to content

Add PR build validation and Dependabot auto-merge - #9

Merged
RuiTeixeira merged 1 commit into
mainfrom
ci/add-build-and-automerge
Jul 17, 2026
Merged

Add PR build validation and Dependabot auto-merge#9
RuiTeixeira merged 1 commit into
mainfrom
ci/add-build-and-automerge

Conversation

@RuiTeixeira

Copy link
Copy Markdown
Member

Problem

to-json-smt had no pull_request-triggered CI at all (only a tag-triggered release.yml) and no Dependabot auto-merge workflow — unlike the rest of the org's repos, Dependabot PRs here never got built/tested or auto-merged.

Changes

  • build.yml: runs mvn -B verify (compile + the 10 existing unit tests + package) on every PR to main. Tested locally before pushing.
  • dependabot-auto-merge.yaml: same approve + auto-merge pattern already used in toeggelomat/agoora-agents/sdm-proto-api — auto-approves and enables auto-merge for Dependabot PRs (native GitHub auto-merge still waits for the build check to pass).

Once merged, worth also adding build as a required status check in branch protection (currently there's none configured since no check existed before) — happy to do that too if wanted.

This repo had no pull_request-triggered CI at all (only a tag-triggered
release workflow) and no auto-merge workflow, so Dependabot PRs never
got validated or merged automatically like the rest of the org's repos.

- build.yml: runs mvn verify (compile + the 10 existing unit tests +
  package) on every PR to main. Verified locally before pushing.
- dependabot-auto-merge.yaml: same approve+auto-merge pattern used in
  toeggelomat/agoora-agents/sdm-proto-api.
@RuiTeixeira
RuiTeixeira merged commit cba2c7d into main Jul 17, 2026
2 checks passed
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.

1 participant