Skip to content

feat: add build configuration options for integration#180

Merged
zz-jason merged 1 commit intomainfrom
jian.z/integration
Jan 27, 2026
Merged

feat: add build configuration options for integration#180
zz-jason merged 1 commit intomainfrom
jian.z/integration

Conversation

@zz-jason
Copy link
Owner

  • Add LEAN_ENABLE_TOOLS option to conditionally build tools
  • Enable POSITION_INDEPENDENT_CODE for static library linking

- Add LEAN_ENABLE_TOOLS option to conditionally build tools
- Enable POSITION_INDEPENDENT_CODE for static library linking
@github-actions
Copy link

[CORO] Bench YCSB B on BasicKV

�[1;32m[INFO]�[0m YCSB runner thread started: 0
�[1;32m[INFO]�[0m YCSB runner thread started: 1
�[1;32m[INFO]�[0m YCSB runner thread started: 2
�[1;32m[INFO]�[0m YCSB runner thread started: 3
�[1;32m[INFO]�[0m YCSB runner thread started: 4
�[1;32m[INFO]�[0m YCSB runner thread started: 5
�[1;32m[INFO]�[0m [1s] [TPS=189382] [COMMITTED=189382] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [2s] [TPS=212002] [COMMITTED=212002] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [3s] [TPS=212143] [COMMITTED=212143] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [4s] [TPS=211421] [COMMITTED=211421] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [5s] [TPS=205674] [COMMITTED=205674] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [6s] [TPS=207236] [COMMITTED=207236] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [7s] [TPS=199671] [COMMITTED=199671] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [8s] [TPS=214074] [COMMITTED=214074] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [9s] [TPS=212115] [COMMITTED=212115] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [10s] [TPS=207283] [COMMITTED=207283] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [11s] [TPS=211317] [COMMITTED=211317] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [12s] [TPS=213905] [COMMITTED=213905] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [13s] [TPS=214671] [COMMITTED=214671] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [14s] [TPS=214207] [COMMITTED=214207] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [15s] [TPS=210620] [COMMITTED=210620] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [16s] [TPS=215243] [COMMITTED=215243] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [17s] [TPS=212486] [COMMITTED=212486] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [18s] [TPS=208663] [COMMITTED=208663] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [19s] [TPS=211705] [COMMITTED=211705] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [20s] [TPS=209847] [COMMITTED=209847] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [21s] [TPS=211297] [COMMITTED=211297] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [22s] [TPS=206948] [COMMITTED=206948] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [23s] [TPS=208338] [COMMITTED=208338] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [24s] [TPS=212628] [COMMITTED=212628] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [25s] [TPS=214206] [COMMITTED=214206] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [26s] [TPS=213404] [COMMITTED=213404] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [27s] [TPS=213081] [COMMITTED=213081] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [28s] [TPS=211989] [COMMITTED=211989] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [29s] [TPS=211371] [COMMITTED=211371] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m YCSB runner thread finished: 2
�[1;32m[INFO]�[0m YCSB runner thread finished: 3
�[1;32m[INFO]�[0m YCSB runner thread finished: 5
�[1;32m[INFO]�[0m YCSB runner thread finished: 4
�[1;32m[INFO]�[0m YCSB runner thread finished: 1
�[1;32m[INFO]�[0m YCSB runner thread finished: 0
�[1;32m[INFO]�[0m [30s] [TPS=212308] [COMMITTED=212308] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m Summary:
  -clients: 6
  -total_time_sec: 30
  -avg_tps: 210307
  -total_committed: 6309235
  -total_aborted: 0
  -total_abort_rate: 0.00%

[CORO] Bench YCSB B on TransactionKV

�[1;32m[INFO]�[0m YCSB runner thread started: 0
�[1;32m[INFO]�[0m YCSB runner thread started: 1
�[1;32m[INFO]�[0m YCSB runner thread started: 2
�[1;32m[INFO]�[0m YCSB runner thread started: 3
�[1;32m[INFO]�[0m YCSB runner thread started: 4
�[1;32m[INFO]�[0m YCSB runner thread started: 5
�[1;32m[INFO]�[0m [1s] [TPS=150858] [COMMITTED=150856] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [2s] [TPS=181198] [COMMITTED=181197] [ABORTED=1] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [3s] [TPS=184990] [COMMITTED=184988] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [4s] [TPS=177074] [COMMITTED=177073] [ABORTED=1] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [5s] [TPS=179285] [COMMITTED=179283] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [6s] [TPS=178403] [COMMITTED=178403] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [7s] [TPS=183945] [COMMITTED=183942] [ABORTED=3] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [8s] [TPS=184812] [COMMITTED=184808] [ABORTED=4] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [9s] [TPS=182402] [COMMITTED=182400] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [10s] [TPS=184902] [COMMITTED=184900] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [11s] [TPS=178220] [COMMITTED=178218] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [12s] [TPS=179443] [COMMITTED=179443] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [13s] [TPS=184080] [COMMITTED=184078] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [14s] [TPS=184283] [COMMITTED=184283] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [15s] [TPS=183675] [COMMITTED=183673] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [16s] [TPS=184368] [COMMITTED=184366] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [17s] [TPS=181953] [COMMITTED=181952] [ABORTED=1] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [18s] [TPS=183969] [COMMITTED=183968] [ABORTED=1] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [19s] [TPS=184958] [COMMITTED=184958] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [20s] [TPS=189035] [COMMITTED=189033] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [21s] [TPS=183600] [COMMITTED=183598] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [22s] [TPS=193178] [COMMITTED=193175] [ABORTED=3] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [23s] [TPS=187027] [COMMITTED=187025] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [24s] [TPS=190596] [COMMITTED=190594] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [25s] [TPS=188554] [COMMITTED=188552] [ABORTED=2] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [26s] [TPS=184183] [COMMITTED=184183] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [27s] [TPS=190462] [COMMITTED=190458] [ABORTED=4] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [28s] [TPS=190772] [COMMITTED=190772] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m [29s] [TPS=187767] [COMMITTED=187767] [ABORTED=0] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m �[1;32m[INFO]�[0m YCSB runner thread finished: 0YCSB runner thread finished: 4

�[1;32m[INFO]�[0m YCSB runner thread finished: 2
�[1;32m[INFO]�[0m YCSB runner thread finished: 3
�[1;32m[INFO]�[0m YCSB runner thread finished: 1
�[1;32m[INFO]�[0m YCSB runner thread finished: 5
�[1;32m[INFO]�[0m [30s] [TPS=189496] [COMMITTED=189495] [ABORTED=1] [ABORT_RATE=0.00%]
�[1;32m[INFO]�[0m Summary:
  -clients: 6
  -total_time_sec: 30
  -avg_tps: 183582
  -total_committed: 5507441
  -total_aborted: 47
  -total_abort_rate: 0.00%

@codecov
Copy link

codecov bot commented Jan 27, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 54.20%. Comparing base (f27dda2) to head (e18bc5a).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #180      +/-   ##
==========================================
+ Coverage   54.14%   54.20%   +0.06%     
==========================================
  Files         151      151              
  Lines        9346     9346              
  Branches     4040     4046       +6     
==========================================
+ Hits         5060     5066       +6     
+ Misses       3738     3734       -4     
+ Partials      548      546       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@zz-jason zz-jason merged commit d68c87c into main Jan 27, 2026
14 checks passed
@zz-jason zz-jason deleted the jian.z/integration branch January 27, 2026 02:26
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

Comments