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 added this pull request to the merge queue Dec 2, 2025
Merged via the queue into main with commit b768cd7 Dec 2, 2025
3 checks passed
@curquiza curquiza deleted the meili-bot/remove-bors-toml branch December 2, 2025 14:16
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