Closed deining closed 1 week ago
This PR bumps GitHub workflow actions to latest versions, thus avoiding deprecation warnings, as e.g. seen here.
This PR bumps GitHub workflow actions to latest versions, thus avoiding deprecation warnings, as e.g. seen here.