keep github actions updated (#3785)