Skip to content

Actions: PhysShell/Own.NET

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,250 workflow runs
2,250 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
P-037 A2.0: add evidence provenance closure CI #2175: Commit 57510ee pushed by PhysShell
16m 27s claude/p037-a1-production
claude/p037-a1-production
16m 27s
docs(p037): freeze A2 execution governance CI #2174: Commit aff77cd pushed by PhysShell
7m 41s claude/p037-a1-production
claude/p037-a1-production
7m 41s
P-037 A1.1: the fact-shape census, and both P-037 checkers wired into CI CI #2173: Commit 80af136 pushed by PhysShell
8m 34s claude/p037-a1-production
claude/p037-a1-production
8m 34s
P-037 A1.1-a1: zero semantic cut, proved on two independent sources CI #2172: Commit 464308b pushed by PhysShell
8m 24s claude/p037-a1-production
claude/p037-a1-production
8m 24s
P-037 A1.1-a1: a returned PARAMETER is a bare CFG exit, not a fresh-f… CI #2171: Commit 2de574a pushed by PhysShell
7m 59s claude/p037-a1-production
claude/p037-a1-production
7m 59s
P-037 A1.1-a1: parameter-bearing methods reach OwnIR with params[]; n… CI #2170: Commit 2720b9a pushed by PhysShell
7m 18s claude/p037-a1-production
claude/p037-a1-production
7m 18s
Merge pull request #360 from PhysShell/claude/p037-a1-guarded-transfer CI #2169: Commit dd20493 pushed by PhysShell
8m 55s main
main
8m 55s
P-037 A1.0 (bootstrap): port the formal kernel and controls onto post-cutover main; re-measure the pre-A1 record CI #2168: Pull request #360 opened by PhysShell
7m 18s claude/p037-a1-guarded-transfer
claude/p037-a1-guarded-transfer
7m 18s
P-037 A1.0: port the formal kernel, controls and gates onto post-cuto… CI #2167: Commit afeca38 pushed by PhysShell
8m 49s claude/p037-a1-guarded-transfer
claude/p037-a1-guarded-transfer
8m 49s
Merge pull request #359 from PhysShell/claude/p022-stage3-rust-cutove… CI #2166: Commit 63148d0 pushed by PhysShell
7m 33s main
main
7m 33s
P-022 Stage 3: Rust is the public default engine (cutover, rollback gate, decision packet) CI #2165: Pull request #359 opened by PhysShell
8m 8s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
8m 8s
P-022 Stage 3: record the implementation qualification on the cleaned… CI #2164: Commit 1bf17e4 pushed by PhysShell
7m 20s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
7m 20s
Repository hygiene: untrack rust/target-fault and ignore Cargo build … CI #2163: Commit b225436 pushed by PhysShell
8m 31s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
8m 31s
P-022 Stage 3: COMPLETE — reconcile at the terminal candidate CI #2162: Commit 7622a3b pushed by PhysShell
9m 13s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
9m 13s
P-022 Stage 3: record the Windows campaign, and fix the assertion tha… CI #2161: Commit f1d3681 pushed by PhysShell
8m 13s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
8m 13s
P-022 Stage 3: fix the own-check.ps1 output regression the cutover in… CI #2160: Commit baf3771 pushed by PhysShell
8m 6s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
8m 6s
P-022 Stage 3: re-record the Stage-2 campaign; both inverted mutants … CI #2159: Commit f69f098 pushed by PhysShell
8m 34s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
8m 34s
P-022 Stage 3: harden ACTION-BUILD for reproducibility, and record th… CI #2158: Commit 0d6686e pushed by PhysShell
7m 36s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
7m 36s
P-022 Stage 3: reconcile the status surfaces so they cannot disagree CI #2157: Commit f988c8e pushed by PhysShell
7m 49s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
7m 49s
P-022 Stage 3: fix what the first CI run on the cutover actually found CI #2156: Commit 2ecf501 pushed by PhysShell
7m 4s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
7m 4s
P-022 Stage 3: an unset locator is D6, not an invalid locator CI #2155: Commit b590bf4 pushed by PhysShell
7m 37s claude/p022-stage3-rust-cutover-q0n2q5
claude/p022-stage3-rust-cutover-q0n2q5
7m 37s
P-037 controls: owner ruling (no pre-cutover ConsumesParam fix), expl… CI #2154: Commit ce2e6bc pushed by PhysShell
8m 24s claude/p036-capability-bakeoff-fzw74t
claude/p036-capability-bakeoff-fzw74t
8m 24s
P-037: record the A1 sequencing ruling (option 1, wait for P-022 Stag… CI #2153: Commit 7751d1b pushed by PhysShell
8m 8s claude/p036-capability-bakeoff-fzw74t
claude/p036-capability-bakeoff-fzw74t
8m 8s
P-037 A0.5: split G-T2 into G-T2a (collapse refinement vs the collaps… CI #2152: Commit 7cf1f93 pushed by PhysShell
8m 35s claude/p036-capability-bakeoff-fzw74t
claude/p036-capability-bakeoff-fzw74t
8m 35s
formal(P-037): A0 spike complete — 22 of 22 Kani harnesses proven, no… CI #2151: Commit 9523fac pushed by PhysShell
7m 54s claude/p036-capability-bakeoff-fzw74t
claude/p036-capability-bakeoff-fzw74t
7m 54s