Runtime VerificationJan 2022 – Dec 2022
11 commits0 merges
Back to People
R
RaoulSchaffranek
Active lead@RaoulSchaffranekRuntime Verification
- 663
- Internal commits
- 110
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationMay 2023 – Oct 2023
24 commits0 mergesReturned
Runtime VerificationFeb 2024 – present
628 commits110 mergesMaintainer periodReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
5
PRs merged
4
Internal authors