Back to People
R

rybla

Maintainer
@ryblaVeridise
356
Internal commits
4
PR merges
3
Organizations
1
Maintainer at

Activity over time

Organization timeline

galoisincMay 2022 – Sep 2022
212 commits4 mergesMaintainer period
VeridiseJun 2023 – Aug 2023
36 commits0 merges

Confirmed movements

Runtime VerificationgaloisincMay 2022
galoisincVeridiseJun 2023