Runtime VerificationApr 2023 – May 2025
94 commits142 mergesMaintainer period
Back to People
D
dkcumming
Active lead@dkcummingRuntime Verification
- 159
- Internal commits
- 174
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationSep 2025 – present
65 commits32 mergesMaintainer periodReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
88
PRs merged
9
Internal authors