Skip to content

ci: remove ignore of main branch for push event#7

Merged
waketzheng merged 1 commit intotortoise:mainfrom
waketzheng:fix-ci-status-error
Nov 10, 2025
Merged

ci: remove ignore of main branch for push event#7
waketzheng merged 1 commit intotortoise:mainfrom
waketzheng:fix-ci-status-error

Commits

Commits on Nov 10, 2025