Back to People
R

RedLikeRosesss

Maintainer
@RedLikeRosesssCertora
39
Internal commits
3
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraJul 2022 – Nov 2022
15 commits0 merges
CertoraMar 2023 – Mar 2023
4 commits0 mergesReturned
CertoraJan 2024 – Oct 2024
15 commits2 mergesMaintainer periodReturned
CertoraFeb 2025 – Feb 2025
5 commits1 mergesMaintainer periodReturned