Skip to content

Conversation

@aHenryJard
Copy link
Member

Proposed changes

  • Update README.md
  • Remove renovate configuration

Related issues

Checklist

  • I consider the submitted work as finished
  • I tested the code for its functionality
  • I wrote test cases for the relevant uses case
  • I added/update the relevant documentation (either on github or on notion)
  • Where necessary I refactored code to improve the overall quality

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...

@github-actions github-actions bot added the filigran team use to identify PR from the Filigran team label Nov 12, 2025
@xfournet xfournet merged commit 4072d63 into master Nov 12, 2025
7 of 9 checks passed
@xfournet xfournet deleted the issue/1031 branch November 12, 2025 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

filigran team use to identify PR from the Filigran team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants