Skip to content

Actions: PhysShell/Own.NET

Actions

P-022 merge gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
p022-merge-gate.yml
57 workflow runs
57 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
OX-02: one generic Owen.VisualStudio host — live OWN diagnostics in Visual Studio (GO_OWEN_VISUAL_STUDIO_ALPHA) P-022 merge gate #57: Pull request #398 opened by PhysShell
2m 32s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
2m 32s
feat(owen-ext): Owen extension substrate — Owen.Build host + Owen.TypedBuilder (OX-01) P-022 merge gate #56: Pull request #397 opened by PhysShell
1m 45s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
1m 45s
feat(typed-builder): OrderBackend vertical-slice MVP over OwnIR v2/H1 P-022 merge gate #55: Pull request #391 opened by PhysShell
51s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
51s
feat(ownir)!: OwnIR v2 — must-understand proven_call (H1) + T0 Amendment 2 P-022 merge gate #54: Pull request #390 opened by PhysShell
1m 17s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
1m 17s
feat(heap-effects): H0 — inert HeapEffectSummary sidecar (extractor facts + Python/Rust solver) P-022 merge gate #53: Pull request #389 opened by PhysShell
54s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
54s
fix(roslyn): protocol attribute names reserved only in the profile's shapes; a token callback outside a region entry is refused P-022 merge gate #52: Pull request #388 opened by PhysShell
3m 36s fix/protocol-attribute-recognition
fix/protocol-attribute-recognition
3m 36s
fix(extractor): --fix-candidates no longer drops orphaned_awaitables (OWN053) P-022 merge gate #51: Pull request #387 opened by PhysShell
2m 28s fix/fix-candidates-additive-envelope
fix/fix-candidates-additive-envelope
2m 28s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #50: Pull request #385 synchronize by PhysShell
32s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
32s
feat: add OWN053 orphaned-awaitable advisory P-022 merge gate #49: Pull request #386 synchronize by PhysShell
2m 42s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
2m 42s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #48: Pull request #385 synchronize by PhysShell
1m 49s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
1m 49s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #47: Pull request #385 synchronize by PhysShell
23m 8s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
23m 8s
feat: add OWN053 orphaned-awaitable advisory P-022 merge gate #46: Pull request #386 opened by PhysShell
34m 22s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
34m 22s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #45: Pull request #385 synchronize by PhysShell
26m 14s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
26m 14s
fix(tests): a repro artifact can be regenerated after its input bytes move P-022 merge gate #44: Pull request #384 synchronize by PhysShell
2m 29s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
2m 29s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #43: Pull request #385 opened by PhysShell
37s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
37s
fix(tests): a repro artifact can be regenerated after its input bytes move P-022 merge gate #42: Pull request #384 opened by PhysShell
2m 50s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
2m 50s
fix(tests): the validation ledger writer refuses a ledger its own verify rejects P-022 merge gate #41: Pull request #383 opened by PhysShell
3m 5s fix/validation-ledger-writer-contract
fix/validation-ledger-writer-contract
3m 5s
fix: only a definite release makes a call-site handoff (INF-S2, #380) P-022 merge gate #40: Pull request #381 synchronize by PhysShell
48s ccr-d1573cc1-g41e75
ccr-d1573cc1-g41e75
48s
fix: only a definite release makes a call-site handoff (INF-S2, #380) P-022 merge gate #39: Pull request #381 opened by PhysShell
29s ccr-d1573cc1-g41e75
ccr-d1573cc1-g41e75
29s
P-037 PCS-0: KILL — producer canonical shadow (budget: driver 68/40, total 208/180), not run P-022 merge gate #38: Pull request #379 opened by PhysShell
1m 30s research/p037-pcs-0
research/p037-pcs-0
1m 30s
P-037 A18-1F: TERMINAL KILL — population-decomposition approach (budget 165/145), not run — do not merge P-022 merge gate #37: Pull request #378 opened by PhysShell
34s research/p037-a18-1f
research/p037-a18-1f
34s
P-037 A18-1R: population decomposition, re-planned — STOP at the cap (192/180, not run) P-022 merge gate #36: Pull request #377 synchronize by PhysShell
4m 47s research/p037-a18-1r
research/p037-a18-1r
4m 47s
P-037 A18-1R: population decomposition, re-planned — STOP at the cap (192/180, not run) P-022 merge gate #35: Pull request #377 opened by PhysShell
1m 22s research/p037-a18-1r
research/p037-a18-1r
1m 22s
P-037 B1 evidence completion: per-row comparable summary snapshot (case 4) P-022 merge gate #34: Pull request #376 opened by PhysShell
1m 21s research/p037-b1-evidence-completion
research/p037-b1-evidence-completion
1m 21s
P-037 A18-1: population decomposition — STOP at the hard cap (preserved artifact; superseded by A18-1R) P-022 merge gate #33: Pull request #375 synchronize by PhysShell
1m 40s research/p037-a18-population-decomposition
research/p037-a18-population-decomposition
1m 40s