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

Reviewed-on: #10
ci: restrict workflows to main branch
2026-11-03 19:05:25 +00:00 · 2026-10-30 03:44:05 +08:00 · 2026-10-28 13:55:55 +00:00
4 changed files with 8 additions and 5 deletions
@@ -11,8 +11,7 @@ name: ci

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

 env:
@@ -20,6 +19,7 @@ env:

 jobs:
  python:
+    if: gitea.ref == 'refs/heads/main'
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 20
    steps:
@@ -50,6 +50,7 @@ jobs:
          .venv/bin/lean-bench doctor --skip-llm --env /dev/null

  lean:
+    if: gitea.ref == 'refs/heads/main'
    needs: python
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 150
@@ -82,7 +83,7 @@ jobs:

  image:
    needs: [python, lean]
-    if: github.event_name != 'pull_request'
+    if: ${{ gitea.ref == 'refs/heads/main' && (github.event_name != 'pull_request') }}
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 180
    steps:
@@ -2,13 +2,14 @@ name: env-probe

 on:
  push:
-    branches: ["ci/**"]
+    branches: [main]
    paths:
      - ".gitea/workflows/env-probe.yml"
  workflow_dispatch:

 jobs:
  probe:
+    if: gitea.ref == 'refs/heads/main'
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 15
    steps:
@@ -10,6 +10,7 @@ on:

 jobs:
  probe:
+    if: gitea.ref == 'refs/heads/main'
    runs-on: gitea-cicd-server-for-CODEX
    timeout-minutes: 10
    steps:
@@ -11,7 +11,7 @@ on:

 jobs:
  expand-root:
-    if: ${{ github.event_name == 'workflow_dispatch' && inputs.confirm == 'EXPAND_RUNNER_ROOT' }}
+    if: ${{ gitea.ref == 'refs/heads/main' && (github.event_name == 'workflow_dispatch' && inputs.confirm == 'EXPAND_RUNNER_ROOT') }}
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 20
    steps:
Author	SHA1	Message	Date
Zayden-Jung	41811f6bc3	Merge pull request 'ci: 仅 main 分支执行 CI/CD' (#10 ) from codex/main-only-cicd into main ci / python (push) Successful in 15s Details env-probe / probe (push) Successful in 28s Details ci / lean (push) Successful in 33s Details ci / image (push) Successful in 1m12s Details runner-probe / probe (push) Has been cancelled Details Reviewed-on: #10	2026-11-03 19:05:25 +00:00
codex-bot	10a50e32db	ci: restrict workflows to main branch	2026-10-30 03:44:05 +08:00
Zayden-Jung	a80448ae36	Merge pull request 'Add semantic simplex schemas, review page and resumable pilot recovery' (#9 ) from codex/simplex-registry into main ci / python (push) Successful in 17s Details ci / lean (push) Successful in 29s Details ci / image (push) Successful in 2m46s Details Reviewed-on: #9	2026-10-28 13:55:55 +00:00