Update github actions (main) (minor)

Update github actions (main) (minor) #3838