tree af916cee5343420bf5116fcde8555463e12059e9
parent 339ffd25a948bf1fd45a1896e045680b33920292
author Rokas Kupstys <rokups@zoho.com> 1584345876 +0200
committer omar <omarcornut@gmail.com> 1584473608 +0100

CI: Test build with large indices, obsolete functions disabled and demo/metrics windows disabled.

+ amend notes