forked from model-checking/kani
-
Notifications
You must be signed in to change notification settings - Fork 0
Insights: zhassan-aws/kani
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on zhassan-aws/kani in the last week.
Want to help out?
2 Pull requests opened by 1 person
-
Bump tests/perf/s2n-quic from `1ff3a9c` to `cfb314b`
#49 opened
Feb 24, 2025 -
Bump ncipollo/release-action from 1.14.0 to 1.16.0
#50 opened
Feb 24, 2025