Skip to content

ci: add merge group support#4550

Open
RafaelAPB wants to merge 1 commit into
hyperledger-cacti:mainfrom
RafaelAPB:ci/merge_group
Open

ci: add merge group support#4550
RafaelAPB wants to merge 1 commit into
hyperledger-cacti:mainfrom
RafaelAPB:ci/merge_group

Conversation

@RafaelAPB

@RafaelAPB RafaelAPB commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

A Must Read for Beginners
Please read the contribution guides prior to your first contribution.
For rebasing and squashing, here's a must read guide for beginners.

Pull Request Requirements

  • Read and followed the Pull Request Guidelines.
  • If AI tools were used, include an Assisted-by tag in the commit message per the AI Guidelines §2.2 (e.g., Assisted-by: GitHub-Copilot:claude-opus-4). All AI-generated code must be human-reviewed before submission.

Signed-off-by: Rafael Belchior <rafael.belchior@tecnico.ulisboa.pt>
@RafaelAPB RafaelAPB changed the title ci: add merge group support DRAFT: ci: add merge group support Jul 6, 2026
@sandeepnRES

Copy link
Copy Markdown
Contributor

Wouldn't this needs to be applied to all required checks? I see some workflow files missing like semantic checks, lint checks etc.

@RafaelAPB RafaelAPB changed the title DRAFT: ci: add merge group support ci: add merge group support Jul 6, 2026
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.

2 participants