some day I should figure out the github workflow that, ya know, works