Skip to content

build: use dune#104

Closed
kopecs wants to merge 1 commit intomainfrom
cooper/dune
Closed

build: use dune#104
kopecs wants to merge 1 commit intomainfrom
cooper/dune

Conversation

@kopecs
Copy link
Contributor

@kopecs kopecs commented Jan 27, 2026

Security

  • Change has no security implications (otherwise, ping the security team)

@kopecs
Copy link
Contributor Author

kopecs commented Jan 27, 2026

See #105

@kopecs kopecs closed this Jan 27, 2026
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.

1 participant