P

pickx

Maintainer

@pickxCertora

113
Internal commits: 24
PR merges: 1
Organizations: 1
Maintainer at

Activity over time

Organization timeline

CertoraJul 2022 – Jan 2023

16 commits13 mergesMaintainer period

CertoraMay 2023 – Mar 2024

59 commits10 mergesMaintainer periodReturned

CertoraApr 2025 – Apr 2026

38 commits1 mergesMaintainer periodReturned