Publish release on arduino download servers #570

Merged

umbynos merged 11 commits intodevelfrom

umbynos/release_on_downloads

Nov 25, 2020

Commits on Nov 19, 2020

add workaround step to check semver and trigger prerelease
umbynos
committed

Commits on Nov 23, 2020

move env vars (shared between multiple steps), add version file, change path
umbynos
committed
introduce ' characters as they are mandatory for character expansion
umbynos
committed

Commits on Nov 25, 2020