CI: Hashpin github-actions with dangerous permissions#7153

Open

diogoteles08 wants to merge 4 commits intojupyter:mainfrom

diogoteles08:ci/hashpin-dependencies

Commits on Nov 14, 2023

ci(github-actions): hashpin actions with dangerous permissions
diogoteles08
committed

Commits on Dec 15, 2023

Commits on Dec 29, 2023

Merge branch 'main' into ci/hashpin-dependencies
diogoteles08
authored