One of the few 42 repositories on Github. We build a tool to measure the diversity among a set of Github actions workflows