Closed JuliaTagBot closed 4 years ago
Merging #180 into master will not change coverage by
%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## master #180 +/- ##
=======================================
Coverage 93.48% 93.48%
=======================================
Files 22 22
Lines 1981 1981
=======================================
Hits 1852 1852
Misses 129 129
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update c28b626...e163229. Read the comment docs.
Saw that you had a look on this at discourse @ccoffrin . Shall we merge this and does this change the process of registering new versions or is it only internally for the tags?
Yes, I think we should merge this.
The old tagbot has been uninstalled from this repo.
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.