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

Forward ROCKSDB envvars through to build script legacy build #246

Merged
merged 1 commit into from
Oct 26, 2023

Conversation

mappum
Copy link
Contributor

@mappum mappum commented Oct 26, 2023

This PR should slightly reduce legacy bin build times in the build script when a system RocksDB lib is specified through the ROCKSDB_LIB_DIR environment variable.

@mappum mappum enabled auto-merge October 26, 2023 18:20
@codecov-commenter
Copy link

Codecov Report

Merging #246 (a119067) into develop (c099fdf) will not change coverage.
The diff coverage is n/a.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

@@           Coverage Diff            @@
##           develop     #246   +/-   ##
========================================
  Coverage    33.56%   33.56%           
========================================
  Files           24       24           
  Lines         8213     8213           
========================================
  Hits          2757     2757           
  Misses        5456     5456           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@mappum mappum force-pushed the build-script-rocksdb branch from a119067 to 9aed74f Compare October 26, 2023 18:41
@mappum mappum merged commit 33a42ab into develop Oct 26, 2023
9 checks passed
@mappum mappum deleted the build-script-rocksdb branch October 26, 2023 20:00
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