Merge pull request 'ci: 仅 main 分支执行 CI/CD' (#1) from codex/main-only-cicd into main

Reviewed-on: #1
2026-11-03 19:05:19 +00:00
parent a3021d9c39 23f1925cc0
commit c43133e733
1 changed files with 2 additions and 2 deletions
@@ -6,12 +6,12 @@ name: ci

 on:
  push:
-    branches: [main, "ci/**"]
-  pull_request:
+    branches: [main]
  workflow_dispatch:

 jobs:
  test:
+    if: gitea.ref == 'refs/heads/main'
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 20
    steps: