vtjeng / MIPVerify.jl

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

CompatHelper: bump compat for IntervalArithmetic to 0.22, (keep existing compat) #146

Closed github-actions[bot] closed 9 months ago

github-actions[bot] commented 9 months ago

This pull request changes the compat entry for the IntervalArithmetic package from 0.15, 0.16, 0.17, 0.18, 0.19, 0.20, 0.21 to 0.15, 0.16, 0.17, 0.18, 0.19, 0.20, 0.21, 0.22. This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request.

codecov[bot] commented 9 months ago

Codecov Report

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

Comparison is base (0c2a4ca) 91.42% compared to head (687d540) 91.42%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #146 +/- ## ======================================= 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.

vtjeng commented 9 months ago

CI / Julia 1 - ubuntu-latest - x64 is erroring:

type Interval has no field hi

https://github.com/vtjeng/MIPVerify.jl/actions/runs/7205397880/job/19628338158?pr=146#step:6:2205

The version of Interval installed is v0.22.0:

Source: https://github.com/vtjeng/MIPVerify.jl/actions/runs/7205397880/job/19628338158?pr=146#step:6:46


CI / Julia 1.6 - ubuntu-latest - x64 is not erroring.

The version of Interval installed is v0.20.9:

Source: https://github.com/vtjeng/MIPVerify.jl/actions/runs/7205397880/job/19628337598?pr=146#step:5:48

vtjeng commented 9 months ago

This needs to be merged on top of #147, which we expect to fix the CI / Julia 1 issue.