Skip to content

Fix a bunch of bugs#3

Merged
habedi merged 3 commits into
mainfrom
develop
Oct 16, 2025
Merged

Fix a bunch of bugs#3
habedi merged 3 commits into
mainfrom
develop

Conversation

@habedi
Copy link
Copy Markdown
Member

@habedi habedi commented Oct 16, 2025 •
edited
Loading

  • Fixed a few bugs related to how the exiting works in Binharic UI.
  • Fixed a few bugs related to containerizing Binharic.
  • Updated the documentation on the main README.md about running Binharic in a container.
  • Added new tests for the bugs to prevent regression.
  • Updated the version to 0.1.0-alpha.4.

@habedi habedi self-assigned this Oct 16, 2025
@habedi habedi added bug Something isn't working documentation Improvements or additions to documentation labels Oct 16, 2025
@habedi habedi merged commit fbf1e0e into main Oct 16, 2025
4 of 8 checks passed
@habedi habedi deleted the develop branch October 16, 2025 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@habedi habedi

Labels

bug Something isn't working documentation Improvements or additions to documentation

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@habedi