Skip to content

Update and pin GitHub actions, and set up Dependabot configuration - #1641

Open
dbaty wants to merge 3 commits into
mainfrom
dbaty/update_and_pin_github_actions
Open

dbaty wants to merge 3 commits into
mainfrom
dbaty/update_and_pin_github_actions

Commits

Commits on Sep 19, 2026