3 commits

Author	SHA1	Message	Date
Eric Huss	2ee083dfbe	Fix CI: Don't update rustup.	2020-01-27 13:46:42 -08:00
Eric Huss	2498887dfc	Fix gh-pages deploy.	2019-10-21 13:41:06 -07:00
Eric Huss	fc4236eaa7	Switch to GitHub Actions.	2019-10-21 10:43:27 -07:00