Skip to content

Actions: PhysShell/Own.NET

Actions

pr-issue-validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-issue-validation.yml
919 workflow runs
919 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) pr-issue-validation #919: Pull request #398 opened by PhysShell
22s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
22s
feat(owen-ext): Owen extension substrate — Owen.Build host + Owen.TypedBuilder (OX-01) pr-issue-validation #918: Pull request #397 opened by PhysShell
45s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
45s
Typed Builder / state protocols: optimistic concurrency, and the writes that bypass the entity (ExecuteUpdate, metadata writes, raw SQL) pr-issue-validation #917: Issue #396 opened by PhysShell
9s
9s
Heap-effect summaries: typed write targets, to admit writes provably unrelated to the protected entity pr-issue-validation #916: Issue #395 opened by PhysShell
9s
9s
Heap-effect summaries for external code (BCL / annotations) so calls like logging can be proven harmless inside a protocol region pr-issue-validation #915: Issue #394 opened by PhysShell
10s
10s
State protocols: diagnostics on protocol tokens use IDisposable wording ("used after it is disposed") pr-issue-validation #914: Issue #393 opened by PhysShell
9s
9s
State protocols: affine tokens — an unspent (terminal) state token must not be OWN001 pr-issue-validation #913: Issue #392 opened by PhysShell
12s
12s
feat(typed-builder): OrderBackend vertical-slice MVP over OwnIR v2/H1 pr-issue-validation #912: Pull request #391 opened by PhysShell
12s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
12s
feat(ownir)!: OwnIR v2 — must-understand proven_call (H1) + T0 Amendment 2 pr-issue-validation #911: Pull request #390 opened by PhysShell
9s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9s
feat(heap-effects): H0 — inert HeapEffectSummary sidecar (extractor facts + Python/Rust solver) pr-issue-validation #910: Pull request #389 opened by PhysShell
1m 3s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
1m 3s
fix(roslyn): protocol attribute names reserved only in the profile's shapes; a token callback outside a region entry is refused pr-issue-validation #909: Pull request #388 opened by PhysShell
40s fix/protocol-attribute-recognition
fix/protocol-attribute-recognition
40s
fix(extractor): --fix-candidates no longer drops orphaned_awaitables (OWN053) pr-issue-validation #908: Pull request #387 opened by PhysShell
47s fix/fix-candidates-additive-envelope
fix/fix-candidates-additive-envelope
47s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #907: Pull request #385 edited by PhysShell
16s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
16s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #906: Pull request #385 synchronize by PhysShell
19s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
19s
feat: add OWN053 orphaned-awaitable advisory pr-issue-validation #905: Pull request #386 synchronize by PhysShell
2m 7s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
2m 7s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #904: Pull request #385 edited by PhysShell
45s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
45s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #903: Pull request #385 edited by PhysShell
45s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
45s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #902: Pull request #385 edited by PhysShell
19s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
19s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #901: Pull request #385 synchronize by PhysShell
27s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
27s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #900: Pull request #385 edited by PhysShell
20m 4s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
20m 4s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #899: Pull request #385 synchronize by PhysShell
22s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
22s
feat: add OWN053 orphaned-awaitable advisory pr-issue-validation #898: Pull request #386 opened by PhysShell
24m 45s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
24m 45s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #897: Pull request #385 edited by PhysShell
10m 38s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
10m 38s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #896: Pull request #385 synchronize by PhysShell
20s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
20s
fix(tests): a repro artifact can be regenerated after its input bytes move pr-issue-validation #895: Pull request #384 synchronize by PhysShell
1m 7s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
1m 7s