Test compile on CI (does it try to clone CLN?) - Githubissues

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Test compile on CI (does it try to clone CLN?) #565

Closed linusheck closed 1 month ago