Skip to content

fix: reduce github oauth scope - #178

Merged
jcreedcmu merged 1 commit into
leanprover:mainfrom
jcreedcmu:main
Oct 5, 2026
Merged

jcreedcmu merged 1 commit into
leanprover:mainfrom
jcreedcmu:main

fix: reduce github oauth scope

76f6519
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings and 1 notice
test
succeeded Oct 5, 2026 in 19m 51s