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 increased (+6.9%) to 92.676% when pulling c962c68823777739180bc26a91ffc5c9d6e1fa05 on JuliaTagBot:master into 818a4d18dc25b909154a5e3913fb5ab0bd4c430b on sunoru: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.