v3.2-dev: update from dev - #4779

Closed

oai-spec-publisher[bot] wants to merge 7 commits into

Commits on Jul 14, 2025

Thresholds now work with json-schema-coverage
jdesrosiers
committed
800542a
Merge pull request #4762 from jdesrosiers/json-schema-coverage
ralfhandl
authored
cf80708