⬆️🪝 update pre-commit hooks

[pre-commit-ci[bot]]

updates:

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

[codecov[bot]]

Codecov Report

Merging #228 (6c788b9) into main (c6da54d) will decrease coverage by 0.1%. The diff coverage is n/a.

@@           Coverage Diff           @@
##            main    #228     +/-   ##
=======================================
- Coverage   97.1%   97.0%   -0.1%     
=======================================
  Files         33      33             
  Lines       1707    1707             
  Branches     210     210             
=======================================
- Hits        1658    1657      -1     
- Misses        49      50      +1     

Flag	Coverage Δ
cpp	97.1% <ø> (-0.1%)	:arrow_down:
python	96.9% <ø> (ø)

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%> (-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.