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: bumped Github action versions #506

Closed volkm closed 4 months ago

volkm commented 4 months ago

Updated a couple of Github actions to the latest version.

tquatmann commented 4 months ago

LGTM!