Runtime VerificationNov 2017 – Jul 2018
22 commits21 mergesMaintainer period
Back to People
T
theo25
Maintainer@theo25Runtime Verification
- 93
- Internal commits
- 73
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationApr 2019 – Apr 2019
1 commits1 mergesMaintainer periodReturned
Runtime VerificationJan 2021 – Aug 2022
60 commits49 mergesMaintainer periodReturned
Runtime VerificationMar 2024 – Nov 2024
10 commits2 mergesMaintainer periodReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
27
PRs merged
7
Internal authors