After a new release has been created, one dev currently needs to manually call ./dev/scripts/create_and_push_tags.sh in order for the updated packages to be published. This process should be automated via CI. Ideally, this script gets triggered as soon as the changelog PR for the current version got merged and the new Web version has been created.
After a new release has been created, one dev currently needs to manually call
./dev/scripts/create_and_push_tags.shin order for the updated packages to be published. This process should be automated via CI. Ideally, this script gets triggered as soon as the changelog PR for the current version got merged and the new Web version has been created.