Skip to content

Conversation

@meili-bot
Copy link
Contributor

This PR is auto-generated.

This PR removes the bors.toml file as Bors is no longer used.

@meili-bot meili-bot added the maintenance Anything related to maintenance (CI, tests, refactoring...) label Dec 2, 2025
@curquiza curquiza merged commit 4cda016 into main Dec 2, 2025
4 of 8 checks passed
@curquiza curquiza deleted the meili-bot/remove-bors-toml branch December 2, 2025 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Anything related to maintenance (CI, tests, refactoring...)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants