fix workflow, close #5