Runtime VerificationNov 2015 – Nov 2015
1 commits0 merges
Back to People
H
hjorthjort
Maintainer@hjorthjortRuntime Verification
- 593
- Internal commits
- 35
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationFeb 2019 – Dec 2020
473 commits27 mergesMaintainer periodReturned
Runtime VerificationMay 2021 – Jun 2021
9 commits4 mergesMaintainer periodReturned
Runtime VerificationFeb 2022 – Apr 2022
2 commits1 mergesMaintainer periodReturned
Runtime VerificationSep 2022 – Oct 2022
58 commits0 mergesReturned
Runtime VerificationFeb 2023 – Mar 2023
24 commits0 mergesReturned
Runtime VerificationAug 2023 – Jan 2024
26 commits3 mergesMaintainer periodReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
8
PRs merged
6
Internal authors