GitHub repository: GaloisInc/.github
Description: A collection of reusable GitHub actions and workflows