Skip to content

Reflect rebrand of "preview" to "nightly" - #12

Merged
shym merged 2 commits into
mainfrom
rebrand-to-nightly
Dec 4, 2025
Merged

Reflect rebrand of "preview" to "nightly"#12
shym merged 2 commits into
mainfrom
rebrand-to-nightly

Conversation

@shonfeder

Copy link
Copy Markdown
Member

A correlate of ocaml-dune/binary-distribution#171

As we prepare to bring milestone https://github.com/ocaml/dune/milestone/62 to a close, we are clarifying the nature of the so called "preview" by rebranding it as merely a nightly binary of dune.

@Leonidas-from-XIV Leonidas-from-XIV left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good idea! Found a typo but apart from that its good to go.

Comment thread README.md Outdated
A correlate of ocaml-dune/binary-distribution#171

As we prepare to bring https://github.com/ocaml/dune/milestone/62 to a
close, we are clarifying the nature of the so called "preview" by
rebranding it as merely a nightly binary of dune.
@shym
shym force-pushed the rebrand-to-nightly branch from 38877cd to c51b988 Compare November 25, 2025 09:30

@shym shym left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me too (I’ve updated the PR by integrating @Leonidas-from-XIV’s remark and wrapping the commit message).

Shall we also rename dev into nightly?

@Leonidas-from-XIV

Copy link
Copy Markdown
Contributor

It could be reasonable, to avoid muddying the waters (which is an issue we had with the preview):

  • dev I would expect that if some change in Dune is merged, I can run the action and it builds dune and implements the just-merged change.
  • nightly I would expect it to use the Dune nightly binary and only updates every, well, night.

@mbarbin

mbarbin commented Nov 25, 2025

Copy link
Copy Markdown
Contributor
  • dev I would expect that if some change in Dune is merged, I can run the action and it builds dune and implements the just-merged change.

Experimenting with the current tip makes sense to me as a use-case - I wonder then if in this case you may as well call it main? (in some way that's the same conceptually as a tagged version, but using a branch). I am not super confident there, this is just sharing a thought.

Follow the change of name of “developer preview” into “nightly” by using
the default value `nightly` instead of `dev` for its `version`
Still recognize `dev` so as to keep backward compatibility

Signed-off-by: Samuel Hym <samuel@tarides.com>
@shym

shym commented Nov 25, 2025

Copy link
Copy Markdown
Collaborator
  • nightly I would expect it to use the Dune nightly binary and only updates every, well, night.

Exactly 😄 I added a commit to that effect.

Regarding the build with the current main, I’d imagine that the extra energy and time used to build dune from source is probably not useful to others besides dune developers, so I’d rather not add this (besides the fact this would be far beyond this PR).

@mbarbin

mbarbin commented Nov 25, 2025

Copy link
Copy Markdown
Contributor

Regarding the build with the current main, I’d rather not add this (besides the fact this would be far beyond this PR).

That sounds reasonable to me (I was just opining on the name if anything). Having the repo fetch pre-compiled binaries only and offering a fast & cached strategy by default is very valuable. Other use cases should probably not be advertised, if anything to encourage sparse use of CI resources, etc.

Exciting news about dune-pkg MSP getting close!

@Leonidas-from-XIV

Copy link
Copy Markdown
Contributor

Ok, then I would say that the state of this PR is ok to be merged (modulo some DCO stuff). The dev/main thing can be added in a separate PR if there's interest.

@shym

shym commented Nov 25, 2025

Copy link
Copy Markdown
Collaborator

Ok, then I would say that the state of this PR is ok to be merged

Great! I’ll give some time to Shon to chip in about the changes and merge if that’s ok with him.

@shonfeder

Copy link
Copy Markdown
Member Author

Sorry for missing this. The changes look fine to me!

@shym shym closed this Dec 4, 2025
@shym
shym merged commit 1d3efb9 into main Dec 4, 2025
9 of 10 checks passed
@shym
shym deleted the rebrand-to-nightly branch December 4, 2025 14:06
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.

4 participants