Back to People
1

1arie1

Active lead
@1arie1Certora
791
Internal commits
97
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraFeb 2024 – Feb 2024
0 commits2 mergesMaintainer period
CertoraDec 2024 – present
791 commits95 mergesMaintainer periodReturned

Internal authors supported

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