Skip to content

chore(release): prepare 0.5.0#153

Merged
mathiasbourgoin merged 1 commit into
mainfrom
release/0.5.0
May 5, 2026
Merged

chore(release): prepare 0.5.0#153
mathiasbourgoin merged 1 commit into
mainfrom
release/0.5.0

Conversation

@mathiasbourgoin
Copy link
Copy Markdown
Collaborator

Summary

  • bump dune-project and generated opam package versions to 0.5.0
  • add public runtime version info through Miaou_core.Version
  • add --version handling for runner CLIs before runtime initialization
  • document 0.5.0 release notes and add version/CLI tests

Verification

  • dune fmt
  • dune build @ALL
  • dune runtest
  • dune build @install
  • dune exec test/test_version.exe
  • timeout 10s dune exec -- src/miaou_runner/miaou_runner_tui_main.exe --version
  • timeout 10s dune exec -- src/miaou_runner/miaou_runner_native_main.exe --version

Both runner version commands print 0.5.0.

@mathiasbourgoin mathiasbourgoin merged commit e1390ea into main May 5, 2026
1 check passed
@mathiasbourgoin mathiasbourgoin deleted the release/0.5.0 branch May 5, 2026 09:44
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