Skip to content

chore(release): prepare 0.5.2#156

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

chore(release): prepare 0.5.2#156
mathiasbourgoin merged 1 commit into
mainfrom
release/0.5.2

Conversation

@mathiasbourgoin
Copy link
Copy Markdown
Collaborator

Summary

  • bump release metadata and runtime version to 0.5.2
  • remove the miaou-core opam template that reintroduced development pin-depends
  • regenerate opam package files so the release archive is opam-repository ready

Verification

  • dune fmt
  • dune build @ALL
  • dune runtest
  • dune build @install
  • opam lint *.opam
  • _build/default/src/miaou_runner/miaou_runner_tui_main.exe --version
  • _build/default/src/miaou_runner/miaou_runner_native_main.exe --version

@mathiasbourgoin mathiasbourgoin merged commit e5f53bf into main May 5, 2026
1 check passed
@mathiasbourgoin mathiasbourgoin deleted the release/0.5.2 branch May 5, 2026 17:49
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