DEVELOPING.md

Developing Instructions

Releases

Web worker files are compiled and uploaded to draft Github releases whenever tags matching v* are pushed. These tags are created when versioning. Releases should be manually finalized and published when releasing new package versions.