[casadi] Deindex.#42773

Merged

BillyONeal merged 1 commit intomicrosoft:masterfrom BillyONeal:deindex-casadi

Dec 20, 2024

-77

Commits on Dec 18, 2024

[casadi] microsoft#41649 appears to have been merged in error, casadi/casadi#3896 needs to land before this can be in the curated registry. Moreover, problems in the portfile were skipped in ci.bas…
BillyONeal
committed