Skip to content

Actions: PhysShell/Own.NET

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,794 workflow runs
1,794 workflow runs

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(P-038): ratify boundary transition witness experiment CI #1794: Pull request #332 opened by PhysShell
6m 49s agent/p038-boundary-transition-witness
agent/p038-boundary-transition-witness
6m 49s
docs(proposals): index P-038 CI #1793: Commit abf5f83 pushed by PhysShell
6m 43s agent/p038-boundary-transition-witness
agent/p038-boundary-transition-witness
6m 43s
docs(P-038): ratify boundary transition witness experiment CI #1792: Commit fb5f9bc pushed by PhysShell
6m 57s agent/p038-boundary-transition-witness
agent/p038-boundary-transition-witness
6m 57s
Merge pull request #329 from PhysShell/claude/dotnet-optimization-exp… CI #1791: Commit f3d3e86 pushed by PhysShell
6m 33s agent/p038-boundary-transition-witness
agent/p038-boundary-transition-witness
6m 33s
docs: bind P-025 counts and metamorphic case counting CI #1790: Pull request #330 opened by PhysShell
8m 49s agent/provenance-counting-fixes
agent/provenance-counting-fixes
8m 49s
docs: bind P-025 counts and metamorphic case counting CI #1789: Commit 30ebf4b pushed by PhysShell
8m 36s agent/provenance-counting-fixes
agent/provenance-counting-fixes
8m 36s
docs: bind P-025 counts and metamorphic case counting CI #1788: Commit 9b565ff pushed by PhysShell
7m 12s agent/provenance-counting-fixes
agent/provenance-counting-fixes
7m 12s
docs: bind P-025 counts and metamorphic case counting CI #1787: Commit 0bf1de3 pushed by PhysShell
6m 10s agent/provenance-counting-fixes
agent/provenance-counting-fixes
6m 10s
Merge pull request #329 from PhysShell/claude/dotnet-optimization-exp… CI #1786: Commit f3d3e86 pushed by PhysShell
6m 22s agent/provenance-counting-fixes
agent/provenance-counting-fixes
6m 22s
test(analysis): find the OWN007 rows by code, and correct what None m… CI #1785: Commit 791ca4c pushed by PhysShell
7m 50s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
7m 50s
test(analysis): find the OWN007 rows by code, and correct what None m… CI #1784: Commit 791ca4c pushed by PhysShell
7m 1s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
7m 1s
test(analysis): freeze OWN007's two identities and OWN010, before por… CI #1783: Commit 4783e8c pushed by PhysShell
7m 10s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
7m 10s
test(analysis): freeze OWN007's two identities and OWN010, before por… CI #1782: Commit 4783e8c pushed by PhysShell
5m 46s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
5m 46s
docs(verdicts): drop a duplicated line a doc edit left in the replay … CI #1781: Commit 585f3ef pushed by PhysShell
5m 43s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
5m 43s
docs(verdicts): drop a duplicated line a doc edit left in the replay … CI #1780: Commit 585f3ef pushed by PhysShell
6m 45s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 45s
test(analysis): freeze routing identity, the prerequisite cp4 turned … CI #1779: Commit dba7518 pushed by PhysShell
6m 59s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
6m 59s
test(analysis): freeze routing identity, the prerequisite cp4 turned … CI #1778: Commit dba7518 pushed by PhysShell
6m 41s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 41s
feat(verdicts): compose the fact-driven channels, and stop at the wal… CI #1777: Commit 165133d pushed by PhysShell
6m 54s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
6m 54s
feat(verdicts): compose the fact-driven channels, and stop at the wal… CI #1776: Commit 165133d pushed by PhysShell
6m 23s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 23s
test(ownir): witness the ordering rules cp4 owes, and find the one th… CI #1775: Commit b9659e6 pushed by PhysShell
6m 59s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
6m 59s
test(ownir): witness the ordering rules cp4 owes, and find the one th… CI #1774: Commit b9659e6 pushed by PhysShell
6m 20s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 20s
test(ownir): give every composition input a witness that dies without it CI #1773: Commit 4848cfd pushed by PhysShell
7m 3s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
7m 3s
test(ownir): give every composition input a witness that dies without it CI #1772: Commit 4848cfd pushed by PhysShell
6m 23s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 23s
feat(verdicts): project Layer 2 back into the analysis AST CI #1771: Commit d8d32fb pushed by PhysShell
5m 4s claude/own259-cp4-analysis-wiring
claude/own259-cp4-analysis-wiring
5m 4s
feat(verdicts): project Layer 2 back into the analysis AST CI #1770: Commit d8d32fb pushed by PhysShell
6m 31s claude/own-verdicts-bootstrap-4uxn6s
claude/own-verdicts-bootstrap-4uxn6s
6m 31s