Skip to content

Bump model-checking/kani-github-action from 1.0 to 1.1#5

Merged
Jouzo merged 1 commit intomasterfrom dependabot/github_actions/model-checking/kani-github-action-1.1Jun 5, 2024

Commits

Commits on Mar 7, 2024