Skip to content

Fix #14931: dump file: Add classDef to scope #23789

Fix #14931: dump file: Add classDef to scope

Fix #14931: dump file: Add classDef to scope #23789

Annotations

1 warning

build_mathlib (ubuntu-22.04)

succeeded Jul 22, 2026 in 3m 9s