to no one's surprise, the `number` type appears to be cursed in GH actions for workflow dispatch. switch to string
