Fix piracies with `activate_assertions` & `deactivate_assertions`

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

226 stars 32 forks source link

Fix piracies with `activate_assertions` & `deactivate_assertions` #3463

Closed schillic closed 7 months ago

schillic commented 7 months ago

See #3449.

schillic commented 7 months ago

GitHub is currently experiencing major outages for GitHub Actions, hence all runs have been canceled automatically. I merge here because I only rebased due to a conflict.