search

vtjeng / MIPVerify.jl

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

Sync CompatHelper action with JuliaRegistries/CompatHelper.jl #117

Closed vtjeng closed 2 years ago

vtjeng commented 2 years ago

Synced with https://github.com/JuliaRegistries/CompatHelper.jl/blob/1b46ec02d86b239a5deca294c2ef73816dbab099/.github/workflows/CompatHelper.yml