Back to People
C

caballa

Active lead
@caballaCertora
672
Internal commits
30
PR merges
2
Organizations
1
Maintainer at

Activity over time

Organization timeline

galoisincMar 2015 – Jan 2017
322 commits0 merges
galoisincMay 2017 – Jul 2017
52 commits0 mergesReturned
CertoraApr 2023 – Jan 2024
16 commits2 mergesMaintainer period
CertoraJul 2024 – present
282 commits28 mergesMaintainer periodReturned

Confirmed movements

galoisincCertoraApr 2023

Internal authors supported

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