Closed lumpidu closed 1 year ago
The deployment script .github/workflows/deploy_if_tag.yml also gets activated, in case a PR gets merged into main. This should not happen.
.github/workflows/deploy_if_tag.yml
main
The deployment script
.github/workflows/deploy_if_tag.yml
also gets activated, in case a PR gets merged intomain
. This should not happen.