4 commits

Author	SHA1	Message	Date
Antoine Gersant	4e76a11e7a	Pull latest polaris web release when making a polaris release	2020-02-01 19:29:52 -08:00
Antoine Gersant	503eed8b62	Removed traces of polaris-web submodule	2020-02-01 19:28:31 -08:00
Antoine Gersant	78c8ca8aa2	Unpin rustc nightly	2020-01-20 18:58:45 -08:00
Antoine Gersant	b2ee2fe701	Automate release process (#62) ... Added Github Actions workflow to generate release	2020-01-20 18:21:47 -08:00