Skip to content

chore(coprocessor): update tfhe and tfhe-zk-pok versions #1559#1560

Merged
antoniupop merged 1 commit intorelease/0.10.xfrom
antoniu/bump-tfhe
Dec 12, 2025
Merged

chore(coprocessor): update tfhe and tfhe-zk-pok versions #1559#1560
antoniupop merged 1 commit intorelease/0.10.xfrom
antoniu/bump-tfhe

Conversation

@antoniupop
Copy link
Copy Markdown
Collaborator

No description provided.

@antoniupop antoniupop requested review from a team and dartdart26 as code owners December 11, 2025 21:45
@cla-bot cla-bot Bot added the cla-signed label Dec 11, 2025
@antoniupop antoniupop changed the base branch from main to release/0.10.x December 11, 2025 21:45
@mergify
Copy link
Copy Markdown

mergify Bot commented Dec 11, 2025

🧪 CI Insights

Here's what we observed from your CI run for 04051bb.

🟢 All jobs passed!

But CI Insights is watching 👀

@antoniupop
Copy link
Copy Markdown
Collaborator Author

@Mergifyio queue

@mergify
Copy link
Copy Markdown

mergify Bot commented Dec 12, 2025

queue

🟠 Waiting for conditions to match

Details
  • -closed [📌 queue requirement]
  • any of: [🔀 queue conditions]
    • all of: [📌 queue conditions of queue main]
      • base = main
      • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
      • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
      • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
      • label!=do-not-merge
  • -conflict [📌 queue requirement]
  • -draft [📌 queue requirement]
  • any of: [📌 queue -> configuration change requirements]
    • -mergify-configuration-changed
    • check-success = Configuration changed

@mergify
Copy link
Copy Markdown

mergify Bot commented Dec 12, 2025

Merge Queue Status

🟠 Waiting for queue conditions

Required conditions to enter a queue
  • -closed [📌 queue requirement]
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue main]:
      • base = main
      • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
      • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
      • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
      • label!=do-not-merge
  • -conflict [📌 queue requirement]
  • -draft [📌 queue requirement]
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
    • check-success = Configuration changed

@antoniupop antoniupop merged commit ae92e16 into release/0.10.x Dec 12, 2025
129 checks passed
@antoniupop antoniupop deleted the antoniu/bump-tfhe branch December 12, 2025 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants