Back to People
J

jar-ben

Active lead
@jar-benCertora
142
Internal commits
35
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraAug 2023 – Nov 2023
35 commits1 mergesMaintainer period
CertoraOct 2024 – Oct 2024
4 commits1 mergesMaintainer periodReturned
CertoraApr 2025 – May 2025
3 commits0 mergesReturned
CertoraSep 2025 – Sep 2025
1 commits0 mergesReturned
CertoraJan 2026 – present
99 commits33 mergesMaintainer periodReturned

Internal authors supported

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