Merge dev into main #1

Merged
YunxiaoXu merged 5 commits from dev into main 2026-04-04 06:42:42 -07:00
Showing only changes of commit d94cf2df30 - Show all commits

View File

@@ -2,7 +2,7 @@ name: CI
on:
push:
branches: [main]
branches: [main, dev]
pull_request:
branches: [main]