Closed deining closed 5 months ago
This PR bump GitHub workflows to their latest versions, thus avoiding deprecation warnings as seen here.
This PR bump GitHub workflows to their latest versions, thus avoiding deprecation warnings as seen here.