Development tips

Jump to bottom

Jerry Morrison edited this page Mar 13, 2019 · 4 revisions

In a GitHub Pull Request conversation, post a retest this please comment to ask Jenkins to rerun its build-and-test cycle.
[Development info is now in the docs/ directory.]