New round of CI improvements/fixes#131

still-flow wants to merge 1 commit intozenorogue:masterzenorogue/hyperrogue:masterfrom

still-flow:ci_improvestill-flow/hyperrogue:ci_improveCopy head branch name to clipboard