Back to People
I

int-index

Maintainer
@int-indexIOHK
476
Internal commits
46
PR merges
2
Organizations
2
Maintainer at

Activity over time

Organization timeline

IOHKApr 2017 Mar 2018
331 commits43 mergesMaintainer period
IOHKFeb 2019 Oct 2020
96 commits0 mergesReturned
IOHKFeb 2021 Jan 2023
45 commits0 mergesReturned
IOHKJul 2023 Jul 2023
1 commits0 mergesReturned

Confirmed movements

Runtime VerificationIOHKJul 2023

Internal authors supported

Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.