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

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