This PR bump Github action workflows to latest versions, thus avoiding deprecation warnings as e.g. seen here.