Skip to content

Actions: pCwOrM/werracle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 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
docs: surface 40-theorem cumulative Lean 4 master suite badge and cer… CI / Verification #57: Commit 27e6d19 pushed by pCwOrM
13s main
main
13s
docs: surface 40-theorem cumulative Lean 4 master suite badge and cer… Deploy GitHub Pages #57: Commit 27e6d19 pushed by pCwOrM
20s main
main
20s
fix(docs): escape BibTeX title against Liquid syntax errors & ensure … Deploy GitHub Pages #56: Commit 17cea99 pushed by pCwOrM
21s main
main
21s
fix(docs): escape BibTeX title against Liquid syntax errors & ensure … CI / Verification #56: Commit 17cea99 pushed by pCwOrM
16s main
main
16s
docs: integrate WerreduR into ecosystem badges and citations CI / Verification #55: Commit 671f840 pushed by pCwOrM
14s main
main
14s
docs: integrate WerreduR into ecosystem badges and citations Deploy GitHub Pages #55: Commit 671f840 pushed by pCwOrM
35s main
main
35s
docs: synchronize WerrSoma v1.1 DOI (10.5281/zenodo.23072929) and con… CI / Verification #54: Commit ababf75 pushed by pCwOrM
16s main
main
16s
docs: synchronize WerrSoma v1.1 DOI (10.5281/zenodo.23072929) and con… Deploy GitHub Pages #54: Commit ababf75 pushed by pCwOrM
20s main
main
20s
docs: enrich BibTeX with official arXiv:2609.33066 and arXiv:2609.254… Deploy GitHub Pages #53: Commit 690c28b pushed by pCwOrM
22s main
main
22s
docs: enrich BibTeX with official arXiv:2609.33066 and arXiv:2609.254… CI / Verification #53: Commit 690c28b pushed by pCwOrM
14s main
main
14s
chore(infra): update WerrSoma portal to werrsoma.answerr.me CI / Verification #52: Commit 53c7184 pushed by pCwOrM
11s main
main
11s
chore(infra): update WerrSoma portal to werrsoma.answerr.me Deploy GitHub Pages #52: Commit 53c7184 pushed by pCwOrM
19s main
main
19s
docs: add formal paper publication link arXiv:2609.33066 CI / Verification #51: Commit 71893fb pushed by pCwOrM
13s main
main
13s
docs: add formal paper publication link arXiv:2609.33066 Deploy GitHub Pages #51: Commit 71893fb pushed by pCwOrM
22s main
main
22s
chore(security): add strict exclusion rules for keys, credentials, an… Deploy GitHub Pages #50: Commit 0bf8a3b pushed by pCwOrM
18s main
main
18s
chore(security): add strict exclusion rules for keys, credentials, an… CI / Verification #50: Commit 0bf8a3b pushed by pCwOrM
12s main
main
12s
docs(arxiv): add official arXiv:2609.30719 publication badges, citati… Deploy GitHub Pages #49: Commit c414037 pushed by pCwOrM
21s main
main
21s
docs(arxiv): add official arXiv:2609.30719 publication badges, citati… CI / Verification #49: Commit c414037 pushed by pCwOrM
16s main
main
16s
feat(living-cell): add Step-1 WerracleLivingCell (256-bit genome+memo… Deploy GitHub Pages #48: Commit 1d2d011 pushed by pCwOrM
21s main
main
21s
feat(living-cell): add Step-1 WerracleLivingCell (256-bit genome+memo… CI / Verification #48: Commit 1d2d011 pushed by pCwOrM
13s main
main
13s
fix(ci): add zero-dependency stdlib fallback in core.py and install n… Deploy GitHub Pages #47: Commit 9a8793e pushed by pCwOrM
21s main
main
21s
fix(ci): add zero-dependency stdlib fallback in core.py and install n… CI / Verification #47: Commit 9a8793e pushed by pCwOrM
16s main
main
16s
feat(werracle): embed 6 40-Core Golden Pair Seeds, graft Lean 4 GAP-0… CI / Verification #46: Commit e254969 pushed by pCwOrM
8s main
main
8s
feat(werracle): embed 6 40-Core Golden Pair Seeds, graft Lean 4 GAP-0… Deploy GitHub Pages #46: Commit e254969 pushed by pCwOrM
16s main
main
16s
fix(core): include latency_us in WerracleCoreEngine.decide_noul for f… Deploy GitHub Pages #45: Commit 7af702d pushed by pCwOrM
16s main
main
16s