All Workflows ci.yml env-probe.yml runner-probe.yml runner-storage-maintenance.yml

51 workflow runs

Actor

All actors Zayden-Jung claude-bot codex-bot

Status

All status Success Failure Waiting Running

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

runner-probe.yml #55:Commit 41811f6bc3 pushed by Zayden-Jung

main

2026-11-04 22:39:34 +00:00

0s

View workflow file

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

env-probe.yml #54:Commit 41811f6bc3 pushed by Zayden-Jung

main

2026-11-03 19:06:53 +00:00

29s

View workflow file

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

ci.yml #53:Commit 41811f6bc3 pushed by Zayden-Jung

main

2026-11-03 19:08:40 +00:00

2m31s

View workflow file

Merge pull request 'Add semantic simplex schemas, review page and resumable pilot recovery' (#9) from codex/simplex-registry into main

ci.yml #52:Commit a80448ae36 pushed by Zayden-Jung

main

2026-10-28 13:59:32 +00:00

3m35s

View workflow file

Merge pilot recovery into the semantic simplex schema delivery

ci.yml #51:Commit 3453d5c961 pushed by codex-bot

#9

2026-10-28 13:49:21 +00:00

49s

View workflow file

docs(schema): track the 65-item schema review page

ci.yml #50:Commit 4eee78be09 pushed by codex-bot

#9

2026-10-28 13:43:41 +00:00

49s

View workflow file

feat(schema): persist and instantiate scoped multi-role relation schemas

ci.yml #49:Commit 29fe3e1aa5 pushed by codex-bot

#9

2026-10-28 13:29:31 +00:00

1m27s

View workflow file

Merge pull request 'Diagnose and safely expand the Lean runner root filesystem' (#8) from codex/runner-storage-probe into main

ci.yml #48:Commit 7d2c6f470b pushed by Zayden-Jung

main

2026-10-28 12:25:58 +00:00

1m47s

View workflow file

docs: record authorized runner root filesystem expansion

ci.yml #47:Commit 36fd787c43 pushed by codex-bot

#8

2026-10-28 12:24:24 +00:00

1m50s

View workflow file

ci: add guarded manual root disk expansion for the Lean runner

runner-storage-maintenance.yml #46:Commit 96a1763392 pushed by codex-bot

codex/runner-storage-probe

2026-10-28 12:19:24 +00:00

5s

View workflow file

ci: add read-only runner storage diagnostics

env-probe.yml #45:Commit 6a65435702 pushed by codex-bot

codex/runner-storage-probe

2026-10-28 12:14:21 +00:00

21s

View workflow file

Merge pull request 'Reassess all 65 P0 items in a separate GPT-assisted diagnostic' (#7) from codex/gpt-diagnostic into main

env-probe.yml #44:Commit d9389fd1c0 pushed by codex-bot

main

2026-10-28 11:42:07 +00:00

7s

View workflow file

Merge pull request 'Reassess all 65 P0 items in a separate GPT-assisted diagnostic' (#7) from codex/gpt-diagnostic into main

ci.yml #43:Commit d9389fd1c0 pushed by Zayden-Jung

main

2026-10-28 12:22:08 +00:00

1m50s

View workflow file

feat(pilot): add full-cohort GPT-assisted diagnostic

ci.yml #42:Commit 2f0a217a94 pushed by codex-bot

#7

2026-10-28 11:29:46 +00:00

47s

View workflow file

docs(pilot): link the recovery audit to the follow-up PR

ci.yml #41:Commit 1c265609d5 pushed by codex-bot

#6

2026-10-28 11:26:31 +00:00

2m3s

View workflow file

fix(pilot): preserve partial results and stop on provider billing errors

ci.yml #40:Commit 16e49df764 pushed by codex-bot

#6

2026-10-28 11:26:29 +00:00

2m18s

View workflow file

Merge pull request 'Make the P0 pilot reproducible and freeze 65 blind AI labels' (#5) from codex/pilot-execution into main

ci.yml #39:Commit 5d531c9c5f pushed by Zayden-Jung

main

2026-10-28 11:24:11 +00:00

25m55s

View workflow file

fix(pilot): freeze AI labels and enforce auditable execution

ci.yml #38:Commit 6875c79c40 pushed by codex-bot

#5

2026-10-28 10:56:20 +00:00

1m44s

View workflow file

Merge pull request 'Experiment IDs and registry (P0, E0-E11); P0 layout; infrastructure notes' (#4) from docs/experiment-registry into main

ci.yml #37:Commit 21d422fb35 pushed by claude-bot

main

2026-10-22 11:52:53 +00:00

3m48s

View workflow file

Give experiments IDs (P0, E0-E11): registry, per-experiment layout, spec moved to docs/experiments/P0-pilot.md

ci.yml #36:Commit 2b255a333a pushed by claude-bot

#4

2026-10-22 11:48:42 +00:00

1m36s

View workflow file

Merge pull request 'Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1' (#2) from exp/pilot-prep into main

ci.yml #35:Commit 74a8162bb7 pushed by claude-bot

main

2026-10-22 06:00:54 +00:00

3m43s

View workflow file

Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1

ci.yml #34:Commit ca98703538 pushed by claude-bot

#2

2026-10-22 05:56:42 +00:00

1m32s

View workflow file

ci: fetch the Mathlib cache only through the retry loop

ci.yml #33:Commit 3e0782c62a pushed by claude-bot

main

2026-10-21 11:56:33 +00:00

2m16s

View workflow file

ci: fetch the Mathlib cache only through the retry loop

ci.yml #32:Commit 3e0782c62a pushed by claude-bot

ci/lean435-runner

2026-10-21 11:52:12 +00:00

19m31s

View workflow file

ci: retry Mathlib cache fetches that drop a few transfers

ci.yml #31:Commit 09ea8a67ce pushed by claude-bot

ci/lean435-runner

2026-10-21 11:30:56 +00:00

22m4s

View workflow file

ci: run tests, real Lean + Mathlib smoke and image build on the lean4.35 runner

ci.yml #30:Commit 066b3f158b pushed by claude-bot

ci/lean435-runner

2026-10-21 11:07:42 +00:00

8m46s

View workflow file

ci: probe the ubuntu24.04-x64-lean4.35 runner

env-probe.yml #29:Commit 21c296113a pushed by claude-bot

ci/lean435-runner

2026-10-21 10:50:45 +00:00

6s

View workflow file

ci: allow cold runner setup to finish

ci.yml #24:Commit a1569f3b6a pushed by codex-bot

main

2026-09-23 15:42:19 +00:00

14m56s

View workflow file

ci: run Python checks in Bookworm container

ci.yml #23:Commit f0e910cd88 pushed by codex-bot

main

2026-09-23 15:25:25 +00:00

15m3s

View workflow file

ci: provision supported Python on runner

ci.yml #22:Commit fc223263bd pushed by codex-bot

main

2026-09-23 15:07:59 +00:00

8s

View workflow file