Thom Chiovoloni e8a7f474bb Rewrite (and improve) CI.

2020-10-07 09:02:34 -07:00

..

workflows

Rewrite (and improve) CI.

2020-10-07 09:02:34 -07:00

PULL_REQUEST_TEMPLATE.md

Offer a checklist for math PRs

2020-10-01 19:50:49 -07:00