Skip to content

Conversation

@Tom-Willemsen
Copy link
Member

@Tom-Willemsen Tom-Willemsen commented Dec 18, 2025

Follow-up to #1832

Think our branch/PR CI is misconfigured on Jenkins as that previous PR's CI passed...

@github-project-automation github-project-automation bot moved this to Flash Review in Tasks Dec 18, 2025
@Tom-Willemsen Tom-Willemsen requested a review from rerpha December 18, 2025 10:53
@rerpha rerpha merged commit 6e1a1f0 into master Dec 18, 2025
7 checks passed
@rerpha rerpha deleted the add_allow_pub_key_retrieval_2 branch December 18, 2025 11:10
@Tom-Willemsen Tom-Willemsen removed this from Tasks Dec 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants