chore: bump dune version to 3.18#11478
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 |
Leonidas-from-XIV
left a comment
There was a problem hiding this comment.
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 <dev@maiste.fr>
Signed-off-by: Etienne Marais <dev@maiste.fr>
3d735c6 to
97859c9
Compare
Signed-off-by: Marek Kubica <marek@tarides.com>
* chore: bump dune version Signed-off-by: Etienne Marais <dev@maiste.fr> * chore: bump to dune 3.18 Signed-off-by: Etienne Marais <dev@maiste.fr> * Bust the cache Signed-off-by: Marek Kubica <marek@tarides.com> --------- Signed-off-by: Etienne Marais <dev@maiste.fr> Signed-off-by: Marek Kubica <marek@tarides.com> Co-authored-by: Marek Kubica <marek@tarides.com>
* chore: bump dune version Signed-off-by: Etienne Marais <dev@maiste.fr> * chore: bump to dune 3.18 Signed-off-by: Etienne Marais <dev@maiste.fr> * Bust the cache Signed-off-by: Marek Kubica <marek@tarides.com> --------- Signed-off-by: Etienne Marais <dev@maiste.fr> Signed-off-by: Marek Kubica <marek@tarides.com> Co-authored-by: Marek Kubica <marek@tarides.com>
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