• Fix github workflow
