pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Fix Codecov #313

Closed ayush9pandey closed 1 year ago

ayush9pandey commented 1 year ago

Potentially closes #294

codecov[bot] commented 1 year ago

Codecov Report

:exclamation: No coverage uploaded for pull request base (main@89a634f). Click here to learn what that means. The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #313   +/-   ##
=======================================
  Coverage        ?   67.89%           
=======================================
  Files           ?       13           
  Lines           ?     1498           
  Branches        ?      328           
=======================================
  Hits            ?     1017           
  Misses          ?      393           
  Partials        ?       88           

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more

ayush9pandey commented 1 year ago

@iincer Please review

It seems that Codecov is working now: https://app.codecov.io/gh/pacti-org/pacti/commit/70cee7d160e24cabd5addfb693c695c05f0e6786/indirect-changes

might need more setup steps to ensure the monitoring works with PRs on Github as well.

ayush9pandey commented 1 year ago

Ok, it seems like it is working with PRs