Open deining opened 3 months ago
This PR bumps GitHub workflows to their latest versions, thus avoiding deprecation warnings as e.g. seen here.
This PR bumps GitHub workflows to their latest versions, thus avoiding deprecation warnings as e.g. seen here.
Checklist