vouched: add AriajSarkar to vouched #1510

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

nmggithub wants to merge 1 commit into pingdotgg:main from nmggithub:add-AriajSarkar-to-vouched

+1 −0

Open

vouched: add AriajSarkar to vouched #1510

vouched: add AriajSarkar to vouched

MacroscopeApp / Macroscope - Correctness Check succeeded Mar 29, 2026 in 1m 21s

No issues identified (1 code object reviewed).

• Merge Base: f82bae1
• Head: df01c1c

Details

✅	File Path	Comments Posted
✅	`.github/VOUCHED.td`	0

View more details on MacroscopeApp