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

Compute coverage in CI #272

Merged

reaperhulk merged 1 commit into main from coverage

Jul 24, 2022

Owner

alex commented Jul 23, 2022

fixes #5

alex force-pushed the coverage branch 2 times, most recently from 4622503 to fec1d55 Compare

July 23, 2022 15:32


          Compute coverage in CI

dbab386

fixes #5

alex force-pushed the coverage branch from fec1d55 to dbab386 Compare

July 23, 2022 15:35

reaperhulk approved these changes

View reviewed changes

reaperhulk merged commit d4c3aa7 into main

reaperhulk deleted the coverage branch

July 24, 2022 00:07

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