chore(main): Release 0.13.0#5

github-actions[bot] wants to merge 1 commit intomainspotandjake/binaryen.ml:mainfrom

release-please--branches--main--components--binaryen.mlspotandjake/binaryen.ml:release-please--branches--main--components--binaryen.mlCopy head branch name to clipboard