search

vtjeng / MIPVerify.jl

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

Manual update to Documenter version. #162

Closed vtjeng closed 8 months ago

vtjeng commented 8 months ago

Periodic manual update to Documenter since CompatHelper does not pick up on it: https://github.com/JuliaRegistries/CompatHelper.jl/issues/408

codecov[bot] commented 8 months ago

Codecov Report

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

Project coverage is 91.68%. Comparing base (c23ad00) to head (6adfdc1).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #162 +/- ## ======================================= Coverage 91.68% 91.68% ======================================= Files 25 25 Lines 818 818 ======================================= Hits 750 750 Misses 68 68 ```

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