moves-rwth/stormpy

Continuous integration for anaconda

Opened this issue · 0 comments

Anaconda is a rather typical Python distribution. We have supported this version but I have no clue whether we are still supporting this.

At some point, it would be great to add this to CI.