Skip to content
Back to pull request #1877

Fix imgui is not properly set when DART_USE_SYSTEM_IMGUI=ON #4382

Sign in to view logs

Fix imgui is not properly set when DART_USE_SYSTEM_IMGUI=ON

Fix imgui is not properly set when DART_USE_SYSTEM_IMGUI=ON #4382

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Release
30m 18s
coverage (ubuntu-jammy, Debug, ON, ON, ON, ON)
1h 23m 16s
Debug
47m 49s
2h 41m 23s