⬆️🪝 update pre-commit hooks

[pre-commit-ci[bot]]

updates:

• github.com/sirosen/texthooks: 0.4.0 → 0.5.0
• github.com/pre-commit/mirrors-clang-format: v15.0.6 → v15.0.7

[codecov[bot]]

Codecov Report

Merging #234 (59df29c) into main (fab0683) will decrease coverage by 0.1%. The diff coverage is n/a.

@@           Coverage Diff           @@
##            main    #234     +/-   ##
=======================================
- Coverage   97.1%   97.0%   -0.1%     
=======================================
  Files         34      34             
  Lines       1720    1720             
  Branches     210     210             
=======================================
- Hits        1671    1670      -1     
- Misses        49      50      +1     

Flag	Coverage Δ
cpp	97.0% <ø> (-0.1%)	:arrow_down:
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	90.8% <0.0%> (-1.0%)	:arrow_down:

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