Skip to content

Allow manual dispatch for testing#169

Open
Dajamante wants to merge 1 commit intomainfrom
manual-dispatch
Open

Allow manual dispatch for testing#169
Dajamante wants to merge 1 commit intomainfrom
manual-dispatch

Conversation

@Dajamante
Copy link
Copy Markdown
Contributor

No description provided.

@emig emig self-requested a review April 17, 2026 06:57
@emig
Copy link
Copy Markdown
Collaborator

emig commented Apr 17, 2026

bors try

bors-ferrocene bot added a commit that referenced this pull request Apr 17, 2026
@bors-ferrocene
Copy link
Copy Markdown
Contributor

try

Build succeeded:

@emig
Copy link
Copy Markdown
Collaborator

emig commented Apr 17, 2026

bors merge

@bors-ferrocene
Copy link
Copy Markdown
Contributor

👎 Rejected by too few approved reviews

@emig
Copy link
Copy Markdown
Collaborator

emig commented Apr 17, 2026

bors merge

bors-ferrocene bot added a commit that referenced this pull request Apr 17, 2026
169: Allow manual dispatch for testing r=emig a=Dajamante



Co-authored-by: Aïssata Maïga <aissata.maiga@ferrous-systems.com>
@bors-ferrocene
Copy link
Copy Markdown
Contributor

This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.

Additional information:

{"message":"Repository rule violations found\n\nChanges must be made through a pull request.\n\n","documentation_url":"https://docs.github.com/rest/git/refs#update-a-reference","status":"422"}

@emig
Copy link
Copy Markdown
Collaborator

emig commented Apr 17, 2026

bors merge

bors-ferrocene bot added a commit that referenced this pull request Apr 17, 2026
169: Allow manual dispatch for testing r=emig a=Dajamante



Co-authored-by: Aïssata Maïga <aissata.maiga@ferrous-systems.com>
@bors-ferrocene
Copy link
Copy Markdown
Contributor

This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.

Additional information:

{"message":"Repository rule violations found\n\nChanges must be made through a pull request.\n\n","documentation_url":"https://docs.github.com/rest/git/refs#update-a-reference","status":"422"}

@emig
Copy link
Copy Markdown
Collaborator

emig commented Apr 17, 2026

bors try

bors-ferrocene bot added a commit that referenced this pull request Apr 17, 2026
@bors-ferrocene
Copy link
Copy Markdown
Contributor

try

Build succeeded:

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