search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
126 stars 73 forks source link

CI to create Docker releases #562

Closed volkm closed 1 month ago

volkm commented 1 month ago

Add Github Action which builds and deploy Docker images for a given tag (e.g. 1.2.3 or stable).

sjunges commented 1 month ago

LGTM