Release v0.3.1+4
Fix `pub` command on deploy (#11) I HATE the fact PR's must be merged so the release pipeline can be properly tested.
Fix `pub` command on deploy (#11) I HATE the fact PR's must be merged so the release pipeline can be properly tested.