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

update opam repository commit to use solo5 0.9 and mirage 4.8.1 #203

Merged
merged 1 commit into from
Oct 16, 2024

Conversation

hannesm
Copy link
Member

@hannesm hannesm commented Oct 15, 2024

No description provided.

@palainp
Copy link
Member

palainp commented Oct 16, 2024

Thank you! While updating things, do you think it's worth updating the debian docker image, debian snapshots, and opam-overlays as well?

@hannesm
Copy link
Member Author

hannesm commented Oct 16, 2024

Thank you! While updating things, do you think it's worth updating the
debian docker image

I don't know

debian snapshots,

I don't know

and opam-overlays as well?

there's been no change as far as I can tell.

@palainp
Copy link
Member

palainp commented Oct 16, 2024

I don't know neither about the debian ones and I haven't heard anything critical about it, so I'm keen to keep my caches without having to download too many things :)

For opam-overlays, there were lwt_ppx and something about colombe since the current commit hash, but I'm unsure if we need the updates or not.

@hannesm
Copy link
Member Author

hannesm commented Oct 16, 2024

we don't ;)

@palainp palainp force-pushed the use-mirage-481-solo5-09 branch from b127ac2 to 3bb13f4 Compare October 16, 2024 12:21
@palainp
Copy link
Member

palainp commented Oct 16, 2024

Sorry for the force push, I had to remove the last commit to be able to merge, and I'll reintroduce the updated hashsum value on main.

@palainp palainp merged commit 74e39a6 into mirage:main Oct 16, 2024
0 of 4 checks passed
@hannesm hannesm deleted the use-mirage-481-solo5-09 branch October 16, 2024 20:37
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.

2 participants