Alex Crichton ead53b3f23 Always delete previous releases, not only for dev (#1001) ...

This will delete a same-name of a previous release for all tags, not
just the dev tag. That way if we need to retry a tagged release we'll
delete it and recreate it as usual.

Closes #978

2020-02-26 17:09:49 -06:00

..

actions

Always delete previous releases, not only for dev (#1001)

2020-02-26 17:09:49 -06:00

workflows

Install submodules as well

2020-02-25 09:28:28 -08:00