CI Adds permissions to workflows that use GITHUB_TOKEN#25600

Merged

jeremiedbb merged 4 commits intoscikit-learn:mainfrom

thomasjpfan:update_permissions

Feb 28, 2023

Commits on Feb 13, 2023

CI Adds persmissions to workflows that need GITHUB_TOKEN
thomasjpfan
committed

Commits on Feb 14, 2023