Back to People
J

johspaeth

Active lead
@johspaethCertora
138
Internal commits
26
PR merges
2
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraNov 2023 – Nov 2023
3 commits0 merges
CertoraApr 2024 – present
123 commits26 mergesMaintainer periodReturned

Confirmed movements

CertoraEuler LabsFeb 2024
Euler LabsCertoraApr 2024

Internal authors supported

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