elsoroka/Satisfiability.jl

Execute the README examples during the pre-deployment checks

elsoroka opened this issue · 2 comments

Twice now (#48, #47) there has been trouble with the README examples. This is difficult to catch in an automated way because the README code isn't run in ci.yaml. Making sure the examples run and produce the expected output would prevent these errors from being merged.

Also per JOSS reviewers, the examples in the documentation can be automatically tested by Documenter.jl which needs to be set up.

Closed by @rafaelbailo in #54