⬆️🪝 update pre-commit hooks

[pre-commit-ci[bot]]

updates:

• github.com/charliermarsh/ruff-pre-commit: v0.0.248 → v0.0.254
• github.com/pre-commit/mirrors-prettier: v3.0.0-alpha.4 → v3.0.0-alpha.6

[codecov[bot]]

Codecov Report

Merging #252 (e620e79) into main (d3e58e4) will not change coverage. The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #252   +/-   ##
=====================================
  Coverage   96.1%   96.1%           
=====================================
  Files         34      34           
  Lines       1757    1757           
  Branches     221     221           
=====================================
  Hits        1690    1690           
  Misses        67      67           

Flag	Coverage Δ
cpp	95.8% <ø> (ø)
python	97.3% <ø> (ø)

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

Impacted Files	Coverage Δ
src/checker/dd/DDEquivalenceChecker.cpp	91.7% <0.0%> (ø)

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