search

vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113 stars 31 forks source link

Update README.md #148

Closed vtjeng closed 9 months ago

vtjeng commented 9 months ago

We removed the separate JuliaFormatter workflow some time ago and subsumed it under the CI workflow.

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (b0ebe49) 91.42% compared to head (c8626e5) 91.42%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #148 +/- ## ======================================= Coverage 91.42% 91.42% ======================================= Files 25 25 Lines 816 816 ======================================= Hits 746 746 Misses 70 70 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.