4c16b5af03
This will trigger a deploy directly when a tag is pushed, avoiding having to wait for another lenghty build. This is safe since we only push release tags after the release PR has passed all its tests. See comments in #9793. |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
FUNDING.yml | ||
PULL_REQUEST_TEMPLATE.md | ||
config.yml | ||
dependabot.yml | ||
labels.toml |