executablebooks / sphinx-proof

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
https://sphinx-proof.readthedocs.io/en/latest/
MIT License
32 stars 17 forks source link

Fixes in tests and pre-commit file #82

Closed AakashGfude closed 2 years ago

AakashGfude commented 2 years ago

Things done:

codecov-commenter commented 2 years ago

Codecov Report

Merging #82 (e9723c8) into master (e400bd9) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #82   +/-   ##
=======================================
  Coverage   88.26%   88.26%           
=======================================
  Files           6        6           
  Lines         358      358           
=======================================
  Hits          316      316           
  Misses         42       42           
Flag Coverage Δ
pytests 88.26% <ø> (ø)

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

Impacted Files Coverage Δ
sphinx_proof/directive.py 100.00% <ø> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update e524ed6...e9723c8. Read the comment docs.

AakashGfude commented 2 years ago

@mmcky merging this as these are minor fixes.