Setting up Ersilia versions
Ersilia versioning is fully managed through GitHub. Therefore, to create a new version of Ersilia, all you need to do is create a GitHub tag.
git tag v0.1.14
git push origin v0.1.14
When a tag is pushed to the
masterbranch, the following actions will be triggered: