New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Get coverage to work properly under Github Actions #3295

Open

mpenkov opened this issue Feb 25, 2022 · 0 comments

Labels

Collaborator

mpenkov commented Feb 25, 2022

See the suggestions here: #3286 (comment)

mpenkov added the housekeeping label

# for free to join this conversation on GitHub. Already have an account? # to comment