Ensure that a version compiled with Gurobi goes through the CI

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Closed sjunges closed 1 month ago

sjunges commented 1 month ago

Which is currently not possible due to a missing license that causes failed tests.

Related PRs:

volkm commented 1 month ago

Resolved through #536.