Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use lowercase on UUID because of TagBot #295

Merged
merged 1 commit into from
Jul 2, 2024
Merged

Use lowercase on UUID because of TagBot #295

merged 1 commit into from
Jul 2, 2024

Conversation

abelsiqueira
Copy link
Owner

@abelsiqueira abelsiqueira commented Jul 2, 2024

Julia registry has this package with the lowercase UUID. Since TagBot checks the UUID of the package
against the registry, it doesn't find it.

Closes #294

Related issues

Closes #294

Checklist

Julia registry has this package with the lowercase
UUID. Since TagBot checks the UUID of the package
against the registry, it doesn't find it.

Closes #294
Copy link

codecov bot commented Jul 2, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 100.00%. Comparing base (b28ab73) to head (1b97d1c).

Additional details and impacted files
@@            Coverage Diff            @@
##              main      #295   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            2         2           
  Lines           57        57           
=========================================
  Hits            57        57           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@abelsiqueira abelsiqueira marked this pull request as ready for review July 2, 2024 15:33
@abelsiqueira abelsiqueira merged commit 8cb70c2 into main Jul 2, 2024
9 checks passed
@abelsiqueira abelsiqueira deleted the 294-tagbot branch July 2, 2024 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

TagBot is failing with "This package is not registered, skipping"
1 participant