Skip to content

merge queue: embarking main (4ef47dc) and [#2156 + #2164] together#2203

Closed
mergify[bot] wants to merge 10 commits intomainfrom
mergify/merge-queue/ec71e7ba46
Closed

merge queue: embarking main (4ef47dc) and [#2156 + #2164] together#2203
mergify[bot] wants to merge 10 commits intomainfrom
mergify/merge-queue/ec71e7ba46

Conversation

@mergify
Copy link
Copy Markdown

@mergify mergify bot commented Mar 27, 2026 •
edited
Loading

🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉

Branch main (4ef47dc) and [#2156 + #2164] are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of [#2156 + #2164].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule main for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 4ef47dcee29a445951d0d8793d9f36a0ffc83e60
previous_failed_batches: []
pull_requests:
  - number: 2156
    scopes: []
  - number: 2164
    scopes: []
scopes: []
...

@cla-bot cla-bot bot added the cla-signed label Mar 27, 2026
This was referenced Mar 27, 2026
Merged
Merged
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 27, 2026

Changed Lines Coverage

Coverage of added/modified lines: 95.0%

Per-file breakdown

Diff Coverage

Diff: origin/main...HEAD, staged and unstaged changes

  • coprocessor/fhevm-engine/test-harness/src/instance.rs (95.2%): Missing lines 85

Summary

  • Total: 21 lines
  • Missing: 1 line
  • Coverage: 95%

coprocessor/fhevm-engine/test-harness/src/instance.rs

  81     let db_url = DatabaseURL::default();
  82 
  83     if with_reset {
  84         info!("Resetting local database at {db_url}");
! 85         let admin_db_url = admin_url_from(db_url.as_str());
  86         create_database(&admin_db_url, db_url.as_str(), mode).await?;
  87     }
  88 
  89     info!("Using existing local database at {db_url}");

@mergify mergify bot closed this Mar 27, 2026
@mergify mergify bot deleted the mergify/merge-queue/ec71e7ba46 branch March 27, 2026 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

cla-signed

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@PanGan21 @isaacdecoded