This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
active 2023-10-05 → 2024-08-24 (UTC)
Partial coverage19,521 / 25,153 hourly files (78%) · 2 absent upstream · 5,629 failed, retryable2023-09-29 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
27
Pushes
4
Pull requests
9
Issues
0
Stars
2
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 325 days from 2023-10-05 to 2024-08-24. Pushes: 4 total, peak 3 in a day. Pull requests: 9 total, peak 8 in a day. Issues: 0 total, peak 0 in a day. Comments: 4 total, peak 3 in a day. Stars: 2 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| zhassan-aws | 7 | 1 | 4 | 2 |
| jaisnan | 6 | 2 | 2 | 0 |
| celinval | 6 | 1 | 3 | 0 |
| camshaft | 2 | 0 | 0 | 1 |
| joshlf | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#56joshlf2024-02-09 01:16Allow specifying the Rust toolchain to use
- Releasecelinval2024-01-10 22:28Kani Verifier CI Action 1.1
- Pull request#55jaisnan2024-01-10 21:50
- Pull request#55celinval2024-01-10 21:46
- Pull request#54celinval2024-01-10 21:25
- Pull request#54celinval2024-01-10 21:23
- Pull request#53zhassan-aws2024-01-10 01:06
- Issue comment#53zhassan-aws2024-01-10 00:43Use stable version to install Kani
- Issue comment#52zhassan-aws2024-01-10 00:30Use stable version to install Kani
- Pull request#52zhassan-aws2024-01-10 00:30
- Pull request#53zhassan-aws2024-01-10 00:30
- Issue comment#52camshaft2024-01-10 00:14Use stable version to install Kani
- Pull request#52zhassan-aws2024-01-10 00:09
- Pull request#51jaisnan2023-10-05 20:11
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.