Skip to content

Revert "update dune 3.19.1 (#59)" and add opam-repository-archive#60

Merged
haochenx merged 3 commits intomainfrom
revert-59
Jun 23, 2025
Merged

Revert "update dune 3.19.1 (#59)" and add opam-repository-archive#60
haochenx merged 3 commits intomainfrom
revert-59

Conversation

@kxc-wraikny
Copy link
Contributor

This reverts commit b649f3c.

@kxc-wraikny kxc-wraikny changed the title Revert "update dune 3.19.1 (#59)" Revert "update dune 3.19.1 (#59)" and add opam-repository-archive Jun 23, 2025
@kxc-wraikny
Copy link
Contributor Author

@kxc-wraikny kxc-wraikny requested a review from haochenx June 23, 2025 12:49
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. thx

@haochenx haochenx merged commit af1fb09 into main Jun 23, 2025
41 checks passed
@haochenx haochenx deleted the revert-59 branch June 23, 2025 12:55
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