chore(release): prepare 0.5.1#155

Merged

mathiasbourgoin merged 1 commit into

mainfrom

May 5, 2026

Collaborator

mathiasbourgoin commented May 5, 2026

Summary

bump Miaou package metadata and runtime version to 0.5.1
remove local ppx_forbid/ppx_enforce pin instructions and pin-depends
document the opam-publication metadata fix in CHANGELOG

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

Both runner binaries print 0.5.1.


          chore(release): prepare 0.5.1

0f3e15a

mathiasbourgoin merged commit 713fb30 into main

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet