14.25

volkm released this 02 May 07:44

· 50 commits to master since this release

What's Changed

Header include for linux by @sjunges in #7
Added CI support by @volkm in #6
Set default CMake options used by Storm by @volkm in #8
Added Dockerfile and updated CI by @volkm in #9

Full Changelog: 14.24...14.25

Contributors

sjunges and volkm

Assets 2