Top 7.7% on github actions
Top 4.7% forks on github actions
Top 4.7% forks on github actions
github actions : model-checking/kani-github-action
Run the Kani Rust Verifier on a Rust Crate
Registry
- JSON
- codemeta.json
purl: pkg:githubactions/model-checking/kani-github-action
License: Apache-2.0
Latest release: about 3 years ago
First release: about 3 years ago
Namespace: model-checking
Dependent repositories: 15
Stars: 6 on GitHub
Forks: 14 on GitHub
Docker dependents: 1
Docker downloads: 40,007
Total Commits: 18
Committers: 10
Average commits per author: 1.8
Development Distribution Score (DDS): 0.778
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 15 days ago
No maintainers found.