Skip to content

update dune version to 3.19.1#59

Merged
haochenx merged 1 commit intomainfrom
dune.3.19
Jun 23, 2025
Merged

update dune version to 3.19.1#59
haochenx merged 1 commit intomainfrom
dune.3.19

Conversation

@kxc-wraikny
Copy link
Contributor

No description provided.

@kxc-wraikny kxc-wraikny requested a review from haochenx June 23, 2025 06:53
Copy link
Member

@haochenx haochenx left a comment

Choose a reason for hiding this comment

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

lgtm

@haochenx haochenx merged commit b649f3c into main Jun 23, 2025
41 checks passed
@haochenx haochenx deleted the dune.3.19 branch June 23, 2025 07:42
kxc-wraikny added a commit that referenced this pull request Jun 23, 2025
haochenx pushed a commit that referenced this pull request Jun 23, 2025
* Revert "update dune 3.19.1 (#59)"

This reverts commit b649f3c.

* add opam archive

* fix
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