Skip to content
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.

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

trying to make google happy #2350

Merged
merged 1 commit into from
Nov 1, 2024
Merged

trying to make google happy #2350

merged 1 commit into from
Nov 1, 2024

Conversation

isstuev
Copy link
Collaborator

@isstuev isstuev commented Nov 1, 2024

Description and Related Issue(s)

resolves #2349

Checklist for PR author

  • I have tested these changes locally.
  • I added tests to cover any new functionality, following this guide
  • Whenever I fix a bug, I include a regression test to ensure that the bug does not reappear silently.
  • If I have added, changed, renamed, or removed an environment variable
    • I updated the list of environment variables in the documentation
    • I made the necessary changes to the validator script according to the guide
    • I added "ENVs" label to this pull request

@isstuev isstuev marked this pull request as ready for review November 1, 2024 16:30
@isstuev isstuev merged commit d86c7ca into main Nov 1, 2024
7 checks passed
@isstuev isstuev deleted the navigation-improvement branch November 1, 2024 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

remove lazyness from navigation
1 participant