Back to People
A

abakst

Maintainer
@abakstCertora
917
Internal commits
57
PR merges
2
Organizations
2
Maintainer at

Activity over time

Organization timeline

galoisincJun 2019 – Apr 2022
883 commits53 mergesMaintainer period
CertoraOct 2024 – Jan 2025
5 commits4 mergesMaintainer period
CertoraMay 2025 – Nov 2025
29 commits0 mergesReturned

Confirmed movements

galoisincCertoraOct 2024

Internal authors supported

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