Update github workflow