We already use them: https://github.com/dev-sec/.github/tree/main/.github/workflows, so we should also use them for this repo.