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.

Sign up for GitHub

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

Jump to bottom

Fix "cover" command is failing #83

Merged

mansuf merged 1 commit into main from bugs/#82

Jul 9, 2023

Owner

mansuf commented Jul 8, 2023 •

edited

Loading

Close #82


          Fix "cover" command

6d4e93b

mansuf mentioned this pull request

"cover:url" fails on v2.10.2 #82

Closed

snarkyyy commented Jul 8, 2023

Tested it a bit under different scenarios and it seems to work, thanks for a fast patch

mansuf merged commit f9a6bcd into main

mansuf added a commit that referenced this pull request


          bump version 2.10.3 and add changelog for #83

63d10f5

mansuf deleted the bugs/#82 branch

August 12, 2023 03:04

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet