4 commits

Author	SHA1	Message	Date
Jubilee Young	7538ff810a	Revert "Disable riscv64gc" ... This reverts commit 3ad356d902.	2020-11-30 19:26:53 -08:00
Caleb Zulawski	3ad356d902	Disable riscv64gc	2020-10-12 15:36:14 -04:00
Thom Chiovoloni	e8a7f474bb	Rewrite (and improve) CI.	2020-10-07 09:02:34 -07:00
Jubilee Young	9028cdde14	Offer a checklist for math PRs	2020-10-01 19:50:49 -07:00