Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[new release] miou (0.3.1) #27255

Merged
merged 1 commit into from
Jan 14, 2025
Merged

Conversation

dinosaure
Copy link
Contributor

Composable concurrency primitives for OCaml

CHANGES:

CHANGES:

- Notice the domain if it needs to look into the shared heap if a task is ready
  to be transfered (@dinosaure, robur-coop/miou#41)
- Don't use `Option.value` but `match .. with` to calculate the optional length
  for `Miou_unix.{read,write}` (@kit-ty-kate, robur-coop/miou#44)
- Use `List.iter` instead of `Hashtbl.iter` for internal kept file-descriptors
  of `Miou_unix` (@dinosaure, robur-coop/miou#45)
- Improve the documentation of `Miou_unix` about suspended syscalls (@dinosaure,
  @kit-ty-kate, robur-coop/miou#43)
- Export `reraise` (@dinosaure, robur-coop/miou#46)
- Fix an issue on the `dom0` and observe if some tasks must be transfered to it
  (@dinosaure, robur-coop/miou#48)
- Fix documentation (@mbarbin, robur-coop/miou#47)
- Fix the formatter (@mbarbin, robur-coop/miou#51)
- Upgrade miou to `ocamlformat.0.27.0` (@mbarbin, robur-coop/miou#52)
- Add `x-maintenance-intent` (@hannesm, robur-coop/miou#56)
- Improve the documentation and some `odoc` warnings (@mbarbin, robur-coop/miou#53, robur-coop/miou#54)
@raphael-proust
Copy link
Contributor

looks good

CI is still running so I'm just tagging as ready for merge

@mbarbin
Copy link
Contributor

mbarbin commented Jan 13, 2025

Thanks for the release.

This one is from @benjamin-thomas

@dinosaure
Copy link
Contributor Author

Ah yes, I tried to rush this release. I will fix that tomorrow.

@shonfeder
Copy link
Contributor

Thanks for publishing the updates!

@shonfeder shonfeder merged commit 814079d into ocaml:master Jan 14, 2025
2 of 3 checks passed
@dinosaure dinosaure deleted the release-miou-v0.3.1 branch January 14, 2025 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants