-
Notifications
You must be signed in to change notification settings - Fork 430
chore: bump dune version to 3.18 #11478
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
Conversation
9aa08a3
to
c909eba
Compare
I thought it would solve the problem, but I'm not convinced because of what the CI shows. As we need |
Yeah, I think that's (unfortunately) probably the best way to go about it. Let's revisit this after 3.18. |
@maiste I guess now that Dune 3.18 was released, we should rebase this and tackle it for 3.19. |
c909eba
to
e474db8
Compare
@Leonidas-from-XIV, it is up for review. I have reverted the changes about the formatting as they would be part of |
You mean the changes to how |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd probably make sure that CI works (by re-running it once Github figures out its IPv6 hickups) before merging but otherwise the code looks fine to me.
a7a4271
to
2cf80e1
Compare
I have almost rendered the CI green (modulo the timeout bugs). The docker image wasn't working because it was using the cache instead of using opam to fetch the new version. However, I'm struggling with the micro benchmark build using @Alizter, as you have a better understanding of |
I'm not sure what is going on with I am a bit confused at the PR however. You appear to be doing two separate things at once. When we bump the dune lang version we don't typically need to bump the version of dune we require for building dune itself, i.e. the dune-project file in the repo. It should look something like this: #10459 |
2cf80e1
to
7276080
Compare
@gridbugs The version of dune in the monorepo image looks out of date. Do you know how to bump it? |
7276080
to
6aa4ff5
Compare
@Alizter I think the issue is that this action
is caching the image at a version where the most recent version is Dune 3.16. I can add some no-op actions to overwrite the cache but it would be nicer if we just deleted the cached image and let it regenerate a new one. I tested it locally and when you build it you get So the question is: who has access to |
0cebb0c
to
6aa4ff5
Compare
Signed-off-by: Etienne Marais <[email protected]>
Signed-off-by: Etienne Marais <[email protected]>
3d735c6
to
97859c9
Compare
Signed-off-by: Marek Kubica <[email protected]>
* chore: bump dune version Signed-off-by: Etienne Marais <[email protected]> * chore: bump to dune 3.18 Signed-off-by: Etienne Marais <[email protected]> * Bust the cache Signed-off-by: Marek Kubica <[email protected]> --------- Signed-off-by: Etienne Marais <[email protected]> Signed-off-by: Marek Kubica <[email protected]> Co-authored-by: Marek Kubica <[email protected]>
This PR is intended to be merged before #11275. The idea is to update the version of the dune lang first, as it implies new changes in terms of formatting. Then we can merge the PR that supports the maintenance fields on top of it.
cc @art-w