You're receiving this pull request because the now-deprecated Julia TagBot GitHub App is installed for this repository. This pull request installs TagBot as a GitHub Action.
If this PR does not belong in this repository for any reason, feel free to close it.
See this Discourse thread for more details and to ask questions.
Please do not comment on this pull request, because it is unlikely that I (@christopher-dG) will see it.
Coverage decreased (-4.7%) to 48.438% when pulling 226f8c118385b479efaa78d2794a4c71ce404b1d on JuliaTagBot:master into a8caba5a81d3fb26e5137abe22e0bdecd1b70a42 on JuliaWeb:master.
You're receiving this pull request because the now-deprecated Julia TagBot GitHub App is installed for this repository. This pull request installs TagBot as a GitHub Action. If this PR does not belong in this repository for any reason, feel free to close it.
See this Discourse thread for more details and to ask questions. Please do not comment on this pull request, because it is unlikely that I (
@christopher-dG
) will see it.