viperproject/gobra-action (actions): Verify your Go project with Gobra
Keywords: actions|formal-verification|github-actions|go|golang|verification