add Ipopt repo #9841
Triggered via pull request
September 25, 2024 05:00
hahahahbenny
Status
Cancelled
Total duration
2m 2s
Artifacts
–
Annotations
2 errors
|
build (ubuntu-latest, shared)
Canceling since a higher priority waiting request for 'refs/pull/5326/merge-dev-ipopt-MingW-Ubuntu-shared' exists
|
|
build (ubuntu-latest, static)
Canceling since a higher priority waiting request for 'refs/pull/5326/merge-dev-ipopt-MingW-Ubuntu-static' exists
|