ci: update of files from global .github repo (#1186)

ci: update of files from global .github repo (#1186) #420