Skip to content

Conversation

@enzodimaria
Copy link
Contributor

closes: please link all relevant issues

PR content/description

Check-list:

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • Relevant issues are marked as resolved/closed, related issues are linked in the description
  • Check for breaking changes (including serialization changes) and add them to commit message following the conventional commit specification

@cla-bot cla-bot bot added the cla-signed label Nov 26, 2025
@enzodimaria enzodimaria marked this pull request as ready for review November 26, 2025 15:18
@enzodimaria enzodimaria force-pushed the edm/contains_to_backend branch from 629877c to 3599e4a Compare November 26, 2025 15:23
@zama-bot zama-bot removed the approved label Nov 26, 2025
Copy link
Contributor

@agnesLeroy agnesLeroy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you very much @enzodimaria! Here come a couple of comments 😉

@enzodimaria enzodimaria force-pushed the edm/contains_to_backend branch from 19bbc82 to 3d12e3f Compare November 27, 2025 09:54
@agnesLeroy agnesLeroy merged commit 0aa0918 into main Nov 27, 2025
178 of 180 checks passed
@agnesLeroy agnesLeroy deleted the edm/contains_to_backend branch November 27, 2025 12:36
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.

3 participants