Skip to content

extracted Rule from settings.h to rule.h / added Regex::engine() / removed unnecessary Rule::engine #23233

extracted Rule from settings.h to rule.h / added Regex::engine() / removed unnecessary Rule::engine

extracted Rule from settings.h to rule.h / added Regex::engine() / removed unnecessary Rule::engine #23233

Annotations

1 warning

build_mathlib (ubuntu-22.04)

succeeded May 31, 2026 in 3m 2s