Skip to content

fix: rocksdb missing build.rs#1634

Merged
Mirko-von-Leipzig merged 1 commit intonextfrom
bernhard-rocksdb-test-linkage
Feb 3, 2026
Merged

fix: rocksdb missing build.rs#1634
Mirko-von-Leipzig merged 1 commit intonextfrom
bernhard-rocksdb-test-linkage

Conversation

@drahnr
Copy link
Contributor

@drahnr drahnr commented Feb 3, 2026

Interestingly machete doesn't pick up on unused [build-dependencies]

Adds a missing build.rs for miden-node-util in #1633

@drahnr drahnr added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label Feb 3, 2026
@drahnr drahnr force-pushed the bernhard-rocksdb-test-linkage branch from b7609a6 to 15caf51 Compare February 3, 2026 13:07
@Mirko-von-Leipzig Mirko-von-Leipzig merged commit 6f7737c into next Feb 3, 2026
7 checks passed
@Mirko-von-Leipzig Mirko-von-Leipzig deleted the bernhard-rocksdb-test-linkage branch February 3, 2026 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants