Skip to content

Comments

polish compiler guide line message#36

Open
khahani wants to merge 1 commit intonew-mainfrom
polish-compiler-guide-box
Open

polish compiler guide line message#36
khahani wants to merge 1 commit intonew-mainfrom
polish-compiler-guide-box

Conversation

@khahani
Copy link
Contributor

@khahani khahani commented Feb 20, 2026

Polish the message, and expandable more info button.

Screenshot 2026-02-20 at 11 54 57 AM Screenshot 2026-02-20 at 11 55 07 AM

@khahani khahani self-assigned this Feb 20, 2026
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.

1 participant