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

Enable merge queue for CI #133

Merged

drdavella merged 1 commit into main from enable-merge-queue

Nov 15, 2023

Merged

Enable merge queue for CI #133

Enable merge queue for CI

Codecov / codecov/project succeeded Nov 15, 2023 in 0s

96.28% (target 90.00%)

View this Pull Request on Codecov

96.28% (target 90.00%)

Details

Codecov Report

Merging #133 (a458520) into main (7be15b4) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #133   +/-   ##
=======================================
  Coverage   96.28%   96.28%           
=======================================
  Files          64       64           
  Lines        2695     2695           
=======================================
  Hits         2595     2595           
  Misses        100      100

View more details on Codecov