Dependabot to automatically update Github actions

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Closed volkm closed 1 month ago

volkm commented 1 month ago

Automatically update to new versions of Github actions. The file is copied from the documentation.

sjunges commented 1 month ago

LGTM