Skip to content

Conversation

@HoloRin
Copy link
Contributor

@HoloRin HoloRin commented Mar 16, 2023

Otherwise they do not appear to be selectable in the github branch protection rules UI

Otherwise they do not appear to be selectable in the github branch
protection rules UI
@HoloRin
Copy link
Contributor Author

HoloRin commented Mar 16, 2023

follow up to #7631

@HoloRin HoloRin merged commit 8e7113c into main Mar 16, 2023
@HoloRin HoloRin deleted the rin/fixup-ci-summary-jobs branch March 16, 2023 12:19
HoloRin added a commit that referenced this pull request Mar 16, 2023
Give each of the summary jobs in actions different names (backport #7640)
HoloRin added a commit that referenced this pull request Mar 16, 2023
Give each of the summary jobs in actions different names (backport #7640) (backport #7643)
HoloRin added a commit that referenced this pull request Mar 16, 2023
Give each of the summary jobs in actions different names (backport #7640) (backport #7643) (backport #7648)
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