Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Pull Shark
x3
Pull Shark
x3Pull Shark
x3@viper-admin opened pull requests that have been merged.
History
Bronze and Silver unlocked
·
First unlocked
2020-03-15 12:14:02 UTC
viperproject/silicon#475 · 2nd pull request merged
viperproject/prusti-dev#291 · 16th pull request merged
viperproject/gobra-ide#149 · 128th pull request merged
Starstruck
Starstruck
Loading