Skip to content

Bump to net10rc2#1816

Merged
jeromelaban merged 4 commits into
mainfrom
dev/jela/net10rc2
Oct 28, 2025
Merged

Bump to net10rc2#1816
jeromelaban merged 4 commits into
mainfrom
dev/jela/net10rc2

Conversation

@jeromelaban

Copy link
Copy Markdown
Member

No description provided.

@mergify

mergify Bot commented Oct 27, 2025

Copy link
Copy Markdown

⚠️ The sha of the head commit of this PR conflicts with #1814. Mergify cannot evaluate rules on this PR. ⚠️

@jeromelaban
jeromelaban enabled auto-merge (rebase) October 28, 2025 11:42
@jeromelaban
jeromelaban merged commit f80a97c into main Oct 28, 2025
135 of 137 checks passed
@jeromelaban
jeromelaban deleted the dev/jela/net10rc2 branch October 28, 2025 11:49
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