Skip to content

Revert "[ci] Run provisionator devdiv"#28079

Merged
rmarinho merged 1 commit intomainfrom
revert-28056-run-provisionator-devdiv
Feb 27, 2025
Merged

Revert "[ci] Run provisionator devdiv"#28079
rmarinho merged 1 commit intomainfrom
revert-28056-run-provisionator-devdiv

Conversation

@rmarinho
Copy link
Copy Markdown
Member

Reverts #28056

@rmarinho rmarinho requested a review from a team as a code owner February 27, 2025 13:04
@rmarinho rmarinho merged commit 17c88a1 into main Feb 27, 2025
1 check passed
@rmarinho rmarinho deleted the revert-28056-run-provisionator-devdiv branch February 27, 2025 13:05
tj-devel709 pushed a commit that referenced this pull request Mar 3, 2025
bhavanesh2001 pushed a commit to bhavanesh2001/maui that referenced this pull request Mar 7, 2025
@github-actions github-actions bot locked and limited conversation to collaborators Mar 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant