⬆️🪝 update pre-commit hooks

[pre-commit-ci[bot]]

updates:

• github.com/charliermarsh/ruff-pre-commit: v0.0.246 → v0.0.248
• github.com/pre-commit/mirrors-mypy: v1.0.0 → v1.0.1

[codecov[bot]]

Codecov Report

Merging #248 (f6fe0f4) into main (e5b7a44) will increase coverage by 0.0%. The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #248   +/-   ##
=====================================
  Coverage   96.1%   96.1%           
=====================================
  Files         34      34           
  Lines       1757    1758    +1     
  Branches     221     221           
=====================================
+ Hits        1689    1691    +2     
+ Misses        68      67    -1     

Flag	Coverage Δ
cpp	95.8% <ø> (+<0.1%)	:arrow_up:
python	97.3% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
src/checker/dd/DDAlternatingChecker.cpp	86.8% <0.0%> (-2.5%)	:arrow_down:
src/checker/dd/DDEquivalenceChecker.cpp	93.5% <0.0%> (+2.7%)	:arrow_up:

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.