Skip to content

Require core ^0.9 rather than accepting 0.8 alongside - #42

Merged
rasuvaeff merged 1 commit into
masterfrom
fix/core-09-only
Sep 5, 2026
Merged

Require core ^0.9 rather than accepting 0.8 alongside#42
rasuvaeff merged 1 commit into
masterfrom
fix/core-09-only

Conversation

@rasuvaeff

Copy link
Copy Markdown
Owner

Follow-up to #41, now that rasuvaeff/property-testing-core 0.9.0 is published. ^0.8 || ^0.9 narrows to ^0.9.

The transitional range existed only so #41 could merge before the core release. Keeping it would leave the family split: -testo requires ^0.9 (its give-up characterizations assert the new skip counters), and -names follows in the same wave — an adapter accepting both engines is exactly the shape that made -names uninstallable beside its own adapters (property-testing-names#24).

No code changes. composer build green against core v0.9.0 from Packagist: 83 tests, 2969 assertions. The 0.7.1 section is still untagged, so this amends it rather than opening a new version.

core 0.9.0 is published, and the family moves to it together: -testo pins the
skip counters its characterizations assert, and -names must match or it is once
again uninstallable beside its own adapters. An adapter that accepted both
engines is the shape that caused that.

No code changes: the excessive-discard warning reads the engine's discard
counter, which no longer carries an environmental skip.
@coderabbitai

coderabbitai Bot commented Sep 5, 2026

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Team

Run ID: 891ced39-c1eb-4725-85cf-3156cf359e00

Warning

Your free Security trial is over. An organization admin can upgrade to Advanced for continuous pull request security review or dismiss this notice.


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@rasuvaeff
rasuvaeff merged commit 263a85a into master Sep 5, 2026
12 checks passed
@rasuvaeff
rasuvaeff deleted the fix/core-09-only branch September 5, 2026 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant