CertoraAug 2023 – Aug 2023
10 commits1 mergesMaintainer period
Back to People
M
martin-hruska
Active lead@martin-hruskaCertora
- 13
- Internal commits
- 2
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
CertoraMar 2026 – present
3 commits1 mergesMaintainer periodReturned