Open deining opened 7 months ago
This PR bumps GitHub workflows to latest versions, thus avoiding deprecation warnings within GitHub.
This PR bumps GitHub workflows to latest versions, thus avoiding deprecation warnings within GitHub.