Skip to content
This repository was archived by the owner on Jun 26, 2026. It is now read-only.

Update sidebars.js - #803

Draft
tianhan0 wants to merge 5 commits into
mainfrom
fix-website-breakage
Draft

Update sidebars.js#803
tianhan0 wants to merge 5 commits into
mainfrom
fix-website-breakage

Conversation

@tianhan0

@tianhan0 tianhan0 commented Oct 9, 2023

Copy link
Copy Markdown

Pre-submission checklist

  • I've ran the linters locally and fixed lint errors related to the files I modified in this PR. You can install the linters by running pip install -r requirements-dev.txt && pre-commit install
  • pre-commit run

Summary

Test Plan

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants