Closed maurerle closed 2 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 78.11%. Comparing base (
35325cd
) to head (1de88d1
). Report is 1 commits behind head on main.:exclamation: Current head 1de88d1 differs from pull request most recent head 63c70cf. Consider uploading reports for the commit 63c70cf to get more accurate results
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
If you have
lualatex
andinkscape
(for svg to pdf conversion) installed, you can create a pdf handbook version of the ASSUME documentation using:make -C docs latexpdf
I don't think this will ever be printed, therefore the HTML version is probably much easier to use, though I tinkered with Sphinx last weekend and want to have this config in main too.
The current documentation for Assume 0.3.7 from this PR looks like this: assume.pdf