Skip to content

Fix help message#780

Merged
angelhof merged 2 commits intomainfrom
help-message-fix
Jan 21, 2026
Merged

Fix help message#780
angelhof merged 2 commits intomainfrom
help-message-fix

Conversation

@angelhof
Copy link
Copy Markdown
Member

No description provided.

@angelhof
Copy link
Copy Markdown
Member Author

Fixes #778

@github-actions
Copy link
Copy Markdown

OS:ubuntu-24.04
Wed Jan 21 10:05:52 UTC 2026
intro: 3/3 tests passed.
interface: 43/43 tests passed.
compiler: 100/100 tests passed.

@github-actions
Copy link
Copy Markdown

OS:ubuntu-24.04
Wed Jan 21 10:12:28 UTC 2026
intro: 3/3 tests passed.
interface: 43/43 tests passed.
compiler: 100/100 tests passed.

@angelhof angelhof merged commit f77a762 into main Jan 21, 2026
9 of 10 checks passed
@angelhof angelhof deleted the help-message-fix branch January 21, 2026 10:30
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