Skip to content

Actions: chaoxu/xean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Allow harmless source premise restatements check #89: Commit ffe3c70 pushed by chaoxu
1m 1s experiment/coordinator-role-dispatch
experiment/coordinator-role-dispatch
1m 1s
Journal Explorer turn allowances outside frozen settings check #88: Commit ded54a6 pushed by chaoxu
1m 3s main
main
1m 3s
Support only current schemas and remove compatibility fallbacks check #87: Commit de4f4aa pushed by chaoxu
1m 1s main
main
1m 1s
Cite the repository without a version check #86: Commit cd0d391 pushed by chaoxu
1m 0s main
main
1m 0s
Add citation metadata check #85: Commit 5ca65de pushed by chaoxu
1m 8s main
main
1m 8s
Use GitHub main as the current release check #84: Commit e70849c pushed by chaoxu
1m 1s main
main
1m 1s
Add a per-role replayReasoning toggle for Pi calls check #83: Commit b39ba82 pushed by chaoxu
1m 2s main
main
1m 2s
Allow verified local corrections in review reports check #82: Commit 4603b42 pushed by chaoxu
59s main
main
59s
Honor configured Codex providers for source verification check #81: Commit 6d1e948 pushed by chaoxu
1m 5s main
main
1m 5s
Require mathematical corrections before accepting notes check #80: Commit 0610e39 pushed by chaoxu
57s v1.1.1
v1.1.1
57s
Require mathematical corrections before accepting notes check #79: Commit 0610e39 pushed by chaoxu
54s main
main
54s
Release Xean 1.1.0 with source audits and three continuations check #78: Commit 23ad445 pushed by chaoxu
1m 4s v1.1.0
v1.1.0
1m 4s
Release Xean 1.1.0 with source audits and three continuations check #77: Commit 23ad445 pushed by chaoxu
56s main
main
56s
Separate citation corrections from mathematical source failures check #76: Commit f4065f2 pushed by chaoxu
58s main
main
58s
Keep note bookkeeping out of independent audits check #75: Commit 74cb44a pushed by chaoxu
1m 4s main
main
1m 4s
Require source retrieval and add full Codex proof review check #74: Commit 7351285 pushed by chaoxu
59s main
main
59s
Default Explorer to three continuations check #73: Commit 8cec8d8 pushed by chaoxu
1m 20s main
main
1m 20s
Recover failed provider continuations with fresh role calls check #72: Commit 9390635 pushed by chaoxu
57s main
main
57s
Enable Explorer continuation by default check #71: Commit 9511a41 pushed by chaoxu
54s v1.0.1
v1.0.1
54s
Enable Explorer continuation by default check #70: Commit 9511a41 pushed by chaoxu
1m 22s main
main
1m 22s
Start Xean 1.0 with current-only contracts check #69: Commit d4af872 pushed by chaoxu
48s v1.0.0
v1.0.0
48s
Start Xean 1.0 with current-only contracts check #68: Commit d4af872 pushed by chaoxu
51s main
main
51s
Align documentation with current continuation and storage contracts check #67: Commit 9cc78e6 pushed by chaoxu
53s main
main
53s
Prepare Elenx 0.10.0 and Solver 0.36.0 release check #66: Commit 37877d7 pushed by chaoxu
50s v0.10.0
v0.10.0
50s
Prepare Elenx 0.10.0 and Solver 0.36.0 release check #65: Commit 37877d7 pushed by chaoxu
44s main
main
44s