Fun project for someone if they get bored. CircleCI currently builds full docs html_dev on master and html_dev-noplot on PRs. But really on PRs it should build PATTERN=... make html_dev-pattern when the PR touches an example or tutorial. So some enterprising person could inspect the diff and figure out if any of the files live in examples/ or tutorials/ and call the pattern version.
@jaeilepp fancy a challenge? :)
Fun project for someone if they get bored. CircleCI currently builds full docs
html_devonmasterandhtml_dev-noploton PRs. But really on PRs it should buildPATTERN=... make html_dev-patternwhen the PR touches an example or tutorial. So some enterprising person could inspect thediffand figure out if any of the files live inexamples/ortutorials/and call the pattern version.@jaeilepp fancy a challenge? :)