update tree

Yuekai Zhang

2023-03-06 86fb62246e10427bc50e284126df6885050cb45d

 .github/workflows/main.yml

@@ -5,7 +5,7 @@
      - main
  push:
    branches:
      - dev
      - dev_wjm

jobs:
  docs: