You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This triggers on release type (b_ndebug=if-release option), but it's not verified in the test suite that we indeed end up using that flag. Hence, the task here is to add such a test (see gh-379 for context).