Runtime VerificationMar 2018 – Jun 2019
227 commits3 mergesMaintainer period
Back to People
P
palmskog
Maintainer@palmskogRuntime Verification
- 308
- Internal commits
- 85
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationOct 2019 – Nov 2019
3 commits0 mergesReturned
Runtime VerificationJul 2020 – Nov 2020
18 commits5 mergesMaintainer periodReturned
Runtime VerificationDec 2021 – Mar 2023
34 commits45 mergesMaintainer periodReturned
Runtime VerificationJul 2023 – Dec 2023
26 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
20
PRs merged
5
Internal authors