From aad2dff6fc376ef10186b5ce9d67d5b0a5e021b0 Mon Sep 17 00:00:00 2001 From: Roland Conybeare Date: Wed, 3 Sep 2025 23:16:58 -0400 Subject: [PATCH] github: clone imgui from github (ubuntu package not useful) --- .github/workflows/main-stock-ubuntu.yml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main-stock-ubuntu.yml b/.github/workflows/main-stock-ubuntu.yml index 99651cd6..37d056a6 100644 --- a/.github/workflows/main-stock-ubuntu.yml +++ b/.github/workflows/main-stock-ubuntu.yml @@ -57,10 +57,6 @@ jobs: sudo apt install -y sphinx echo "::endgroup" - echo "::group::libimgui-dev install" - sudo apt install -y libimgui-dev - echo "::endgroup" - echo "::group::libvulkan-dev install" sudo apt install -y libvulkan-dev echo "::endgroup" @@ -100,6 +96,13 @@ jobs: # this should be sufficient for find_package(Catch2) to work + - name: clone imgui + run: | + + echo "::group::clone imgui" + git clone https://github.com/ocornut/imgui.git + echo "::endgroup" + - name: list /usr/lib run: | ls /usr/lib