Skip to content

Conversation

@quark17
Copy link
Collaborator

@quark17 quark17 commented Apr 5, 2025

This fixes #771

@kenta2 kenta2 merged commit 11879db into B-Lang-org:main Apr 5, 2025
79 checks passed
@quark17 quark17 deleted the fix-ci-badge branch April 5, 2025 21:25
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.

README CI badge "no status"

2 participants