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

chore: changelog dune 3.17.2 #11374

Merged
merged 1 commit into from
Jan 27, 2025
Merged

Conversation

maiste
Copy link
Collaborator

@maiste maiste commented Jan 23, 2025

Need for the release to be release before review.

@maiste maiste added the release PR or issue for releasing a new dune version label Jan 23, 2025
@maiste maiste mentioned this pull request Jan 23, 2025
7 tasks
@maiste maiste force-pushed the changelog-dune.3.17.2 branch 2 times, most recently from e144093 to a5b7839 Compare January 23, 2025 14:48
Signed-off-by: Etienne Marais <[email protected]>
@maiste maiste force-pushed the changelog-dune.3.17.2 branch from a5b7839 to 0f2a71f Compare January 27, 2025 08:12
@maiste maiste marked this pull request as ready for review January 27, 2025 08:15
@maiste maiste merged commit 89cdf71 into ocaml:main Jan 27, 2025
25 of 27 checks passed
@maiste maiste deleted the changelog-dune.3.17.2 branch January 27, 2025 09:54
ElectreAAS pushed a commit to ElectreAAS/dune that referenced this pull request Jan 27, 2025
chris-armstrong pushed a commit to chris-armstrong/dune that referenced this pull request Jan 29, 2025
Signed-off-by: Etienne Marais <[email protected]>
Signed-off-by: Chris Armstrong <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release PR or issue for releasing a new dune version
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants