ruff
Disable default criterion features
#7241
Merged

Commits
  • Disable default criterion features
    MichaReiser committed 2 years ago
Loading