Skip to content

build(deps): bump model-checking/kani-github-action from 0.27 to 0.28#1767

Merged
camshaft merged 1 commit intomainfrom dependabot/github_actions/model-checking/kani-github-action-0.28May 17, 2023
+1-1

Commits

Commits on May 17, 2023