Skip to content

Conversation

@hannesm
Copy link
Member

@hannesm hannesm commented Jan 10, 2024

as suggested by @talex5 in #132 (comment)

@hannesm
Copy link
Member Author

hannesm commented Feb 1, 2024

I'll merge this, since it enables more OCaml-CI CI systems to run.

@hannesm hannesm merged commit 4db9b2c into mirage:main Feb 1, 2024
@hannesm hannesm deleted the eio-ocaml5 branch February 1, 2024 15:42
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