Update AMICI to v0.20.0 #994
Triggered via pull request
December 11, 2023 12:00
Status
Success
Total duration
15m 47s
Artifacts
–