Release 0.1.1#40

Merged

mibrahimdev merged 11 commits into

mainfrom

Jul 3, 2026

Commits on Jun 17, 2026

ci: gate the dev integration trunk with build+test, same as main

mibrahimdev
and
claude
committed
ci: point the push gate at develop after the dev → develop rename

mibrahimdev
and
claude
committed
Merge pull request #36 from mibrahimdev/ci/correct-develop-push-trigger
mibrahimdev
authored
fix(export): unify the protocol counts line to iterate Protocol.entries

mibrahimdev
and
claude
committed
refactor(ui): move tab icon and search placeholder onto ProtocolDescriptor

mibrahimdev
and
claude
committed
Merge pull request #37 from mibrahimdev/feat/complete-protocol-descriptor
mibrahimdev
authored

Commits on Jul 1, 2026

fix(android): isolate logger locale so it can't corrupt the host app

mibrahimdev
and
claude
committed