Closed deining closed 1 year ago
This PR bumps GitHub workflows to latest versions, thus avoiding deprecation warnings.
Thank you, @deining ! Merging.
This PR bumps GitHub workflows to latest versions, thus avoiding deprecation warnings.