Skip to content

Conversation

chrjabs
Copy link
Owner

@chrjabs chrjabs commented Oct 12, 2025

Nightly feature doc_auto_cfg is merged into doc_cfg rust-lang/rust#138907

Description of the Contribution

PR Checklist

  • I read and agree to CONTRIBUTING.md
  • I have formatted my code with rustfmt / cargo fmt --all
  • Commits are named following conventional commits
  • I have added documentation for new features
  • The test suite still passes on this PR
  • I have added tests for new features / tests that would have caught the bug this PR fixes (please explain if not)
  • If this PR contains breaking changes, it is against the next-major branch, not against main

Nightly feature `doc_auto_cfg` is merged into `doc_cfg` rust-lang/rust#138907
@github-actions github-actions bot added solvers Related to solver interfaces solvers/cadical labels Oct 12, 2025
@chrjabs chrjabs enabled auto-merge (squash) October 12, 2025 08:39
@chrjabs chrjabs merged commit c6623bf into main Oct 12, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

solvers/cadical solvers Related to solver interfaces

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant