Merge commit 'e94a94559f28e49678fbcf72199a5258137b0fe9' as 'external/imgui'

2026-04-02 14:06:16 +02:00
parent 52edb3757c e94a94559f
commit db61b52997
268 changed files with 137988 additions and 0 deletions
@@ -0,0 +1,12 @@
+#
+# This is a dummy workflow used to trigger full builds manually.
+#
+name: manual
+
+on: workflow_dispatch
+
+jobs:
+  manual:
+    runs-on: ubuntu-latest
+    steps:
+      - run: exit 0