Skip to content

ci: cancel previous runs in the PR when pushed new commits#154

Merged
zhuwenxing merged 1 commit intozilliztech:mainfrom zhuwenxing:cancel-in-progressJul 5, 2023
+3

Commits

Commits on Jul 5, 2023