Use clang-format 17 in CI - 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

Use clang-format 17 in CI #504

Closed tquatmann closed 4 months ago