5 Commits

Author	SHA1	Message	Date
Maruan	0676c85b6e	Add Travis CI (#21) ... * Add Travis CI * Add build status badge	2018-06-19 10:05:48 -04:00
Maruan Al-Shedivat	43df930fba	Ensure everything is committed before deploying	2017-09-26 10:16:08 -04:00
Maruan Al-Shedivat	a47b1acd21	Improve deploy script (addresses #6)	2017-09-08 12:51:25 -04:00
Maruan Al-Shedivat	7c258e74f5	Make deploy script use bunlder	2017-07-01 09:24:04 -07:00
Maruan Al-Shedivat	efb2489b07	Fix baseurl. Add gh-pages deployment script.	2016-07-05 04:50:43 -04:00