Back to People
Y

yuradmt

Internal employee
@yuradmtCertora
88
Internal commits
0
PR merges
2
Organizations
0
Maintainer at

Activity over time

Organization timeline

KiroboFeb 2020 – Feb 2020
2 commits0 merges
KiroboAug 2020 – Nov 2020
44 commits0 mergesReturned
CertoraApr 2022 – Jun 2023
42 commits0 merges

Confirmed movements

KiroboCertoraApr 2022