Skip to content

Site tier-1: open-set banner, sensitivity selector, bootstrap intervals #9

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

Merged
MaxGhenis merged 5 commits into from
May 8, 2026

Round-3 followup: gate navVisible on scroll progress

1e6c0d5
Select commit
Loading
Failed to load commit list.
Merged

Site tier-1: open-set banner, sensitivity selector, bootstrap intervals #9

Round-3 followup: gate navVisible on scroll progress
1e6c0d5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar