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
@rustsat-release-plz-bot rustsat-release-plz-bot bot mentioned this pull request Oct 12, 2025
@chrjabs chrjabs deleted the push-lltowoxrwxqz branch October 17, 2025 06:36
This was referenced Oct 18, 2025
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