fix typo in push workflows #267

Closed adrianchiris closed 1 year ago