Closed deining closed 1 month ago
This PR bumps GitHub workflow actions to their latest versions, thus avoiding deprecation warnings as seen e.g. here.
@deining Awesome, thank you!
This PR bumps GitHub workflow actions to their latest versions, thus avoiding deprecation warnings as seen e.g. here.