Skip to content
Back to pull request #8214

Fix #14489 (GUI: The platform files are not shown in the dropdown in ProjectFileDialog) #21968

Sign in to view logs

Fix #14489 (GUI: The platform files are not shown in the dropdown in ProjectFileDialog)

Fix #14489 (GUI: The platform files are not shown in the dropdown in ProjectFileDialog) #21968

build_mathlib (ubuntu-22.04)

build_mathlib (ubuntu-22.04)
succeeded Feb 14, 2026 in 3m 10s