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.

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

Remove empty () for helper banner #2236

Merged
merged 2 commits into from
Jul 30, 2024
Merged

Conversation

jun2zhou
Copy link
Contributor

No description provided.

@jun2zhou jun2zhou requested a review from a team as a code owner July 24, 2024 06:01
@Sae86 Sae86 changed the title Remove empty () for simic banner Remove empty () for helper banner Jul 24, 2024
@npmitche npmitche force-pushed the jzhou/fix_helper_banner_print branch from ab74804 to 70a4a6d Compare July 30, 2024 18:38
@dscott90 dscott90 merged commit 2f6e680 into main Jul 30, 2024
76 checks passed
@dscott90 dscott90 deleted the jzhou/fix_helper_banner_print branch July 30, 2024 21:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants