Closed deining closed 3 months ago
This PR bumps GitHub action workflows to latest versions, thus avoiding deprecation warnings as e.g. seen here.
Thank you!
This PR bumps GitHub action workflows to latest versions, thus avoiding deprecation warnings as e.g. seen here.