sync github workflows with dev branch