Back to People
T

teryanarmen

Maintainer
@teryanarmenCertora
199
Internal commits
9
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraFeb 2022 – Mar 2022
22 commits0 merges
CertoraJul 2022 – May 2025
177 commits9 mergesMaintainer periodReturned

Internal authors supported

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