Earned achievements
Pair Extraordinaire
x3
Pair Extraordinaire
x3
Loading
YOLO
YOLO
Loading
Pull Shark
x2
Pull Shark
x2Pull Shark
x2@bgregoir opened pull requests that have been merged.
History
Bronze unlocked
·
First unlocked
2022-01-06 18:32:53 UTC
LPCIC/coq-elpi#322 · 2nd pull request merged
jasmin-lang/jasmin#249 · 16th pull request merged
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading