Jubilee Young
fd6179b4cd
Add a blank issue template
...
Setting this in config.yml only enables the appearance of a tiny link
on GitHub that is hard to see and find. This template adds a "blank issue"
link that is as equally visible as the rest of the template options.
2021-02-02 18:12:26 -08:00
Jubilee Young
e4cdd15b21
Add issue templates
...
The main purpose of these is to offer rerouting where rerouting is
appropriate. Mostly derived from existing examples in rust-lang/rust.
2021-02-02 17:23:23 -08:00
Caleb Zulawski
d72927c85b
Switch docs deploy to GITHUB_TOKEN
2020-12-28 23:48:18 -05:00
Caleb Zulawski
cd36c983e7
Deploy documentation to GitHub Pages
2020-12-27 19:36:12 -05:00
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
