Runtime VerificationSep 2017 – Aug 2018
42 commits13 mergesMaintainer period
Back to People
S
shd101wyy
Maintainer@shd101wyyRuntime Verification
- 77
- Internal commits
- 43
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationNov 2020 – Oct 2021
27 commits23 mergesMaintainer periodReturned
Runtime VerificationMar 2022 – Oct 2022
7 commits7 mergesMaintainer periodReturned
Runtime VerificationFeb 2023 – Feb 2023
1 commits0 mergesReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
6
PRs merged
2
Internal authors