Skip to content

Actions: PhysShell/Own.NET

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
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
Merge pull request #391 from PhysShell/ccr-d3ed89e2-vnl6fk CI #2504: Commit 88cb8cc pushed by PhysShell
9m 35s main
main
9m 35s
coderabbit-nudge coderabbit-nudge #847: Scheduled
1m 28s main
main
1m 28s
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(typed-builder): OrderBackend vertical-slice MVP over OwnIR v2/H1 CI #2503: Pull request #391 opened by PhysShell
9m 26s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9m 26s
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
docs(tb-mvp): TB-MVP-01 report and verdict (GO_TYPED_BUILDER_MVP) CI #2502: Commit 04cb779 pushed by PhysShell
9m 4s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9m 4s
fix(typed-builder): clean-checkout leftover check counts only .NET bu… CI #2501: Commit e946d82 pushed by PhysShell
10m 19s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
10m 19s
feat(typed-builder): TB-MVP-01 Order vertical slice (generator, ASP.N… CI #2500: Commit 95d811b pushed by PhysShell
10m 46s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
10m 46s
docs(tb-mvp): TB-MVP-01 preregistration (base 877ee69f) CI #2499: Commit cf7eb01 pushed by PhysShell
9m 39s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9m 39s
Merge pull request #390 from PhysShell/ccr-d3ed89e2-vnl6fk CI #2498: Commit 877ee69 pushed by PhysShell
8m 32s main
main
8m 32s
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(ownir)!: OwnIR v2 — must-understand proven_call (H1) + T0 Amendment 2 Owen.Cli release #118: Pull request #390 opened by PhysShell
4m 28s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
4m 28s
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(ownir)!: OwnIR v2 — must-understand proven_call (H1) + T0 Amendment 2 CI #2497: Pull request #390 opened by PhysShell
9m 2s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9m 2s
docs(calibration): T0 Amendment 2 for OwnIR v2 CI #2496: Commit 450c39b pushed by PhysShell
8m 27s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
8m 27s
docs(notes): H1 stops at the transport — OWNIR_VERSION bump needs T0 … CI #2495: Commit 952d409 pushed by PhysShell
8m 47s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
8m 47s
Merge pull request #389 from PhysShell/ccr-d3ed89e2-vnl6fk CI #2494: Commit 1c70e86 pushed by PhysShell
9m 52s main
main
9m 52s
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
feat(heap-effects): H0 — inert HeapEffectSummary sidecar (extractor facts + Python/Rust solver) CI #2493: Pull request #389 opened by PhysShell
16m 8s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
16m 8s
feat(heap-effects): H0 — inert HeapEffectSummary sidecar (extractor facts + Python/Rust solver) Owen.Cli release #117: Pull request #389 opened by PhysShell
9m 38s ccr-d3ed89e2-vnl6fk
ccr-d3ed89e2-vnl6fk
9m 38s