Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Correct the #196696 fix which caused oval badges #196715

Merged
merged 1 commit into from
Oct 26, 2023
Merged

Correct the #196696 fix which caused oval badges #196715

merged 1 commit into from
Oct 26, 2023

Conversation

gjsjohnmurray
Copy link
Contributor

@sandy081 this contains a CSS tweak I missed from #196696, without which the badges became oval.

@gjsjohnmurray
Copy link
Contributor Author

/assign @sandy081 - sorry for the inconvenience

@sandy081 sandy081 added this to the October 2023 milestone Oct 26, 2023
@sandy081
Copy link
Member

No worries, thanks for fixing it.

@gjsjohnmurray
Copy link
Contributor Author

@sandy081 the CI seems to have had a spurious failure, preventing the auto-merge after @alexr00 approved.

@alexr00
Copy link
Member

alexr00 commented Oct 26, 2023 •
edited
Loading

Re-running failed jobs...

@sandy081 sandy081 merged commit 2f5c70f into microsoft:main Oct 26, 2023
6 checks passed
@gjsjohnmurray gjsjohnmurray deleted the azure-wildfowl branch October 26, 2023 14:32
@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@sandy081 sandy081 sandy081 approved these changes

@alexr00 alexr00 alexr00 approved these changes

Assignees

@sandy081 sandy081

Labels
None yet
Projects
None yet
Milestone
October 2023
Development

Successfully merging this pull request may close these issues.
3 participants
@gjsjohnmurray @sandy081 @alexr00