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
formal-p037-gate formal-p037-gate #38: Scheduled
15m 43s main
main
15m 43s
coderabbit-nudge coderabbit-nudge #956: Scheduled
9s main
main
9s
coderabbit-nudge coderabbit-nudge #955: Scheduled
10s main
main
10s
coderabbit-nudge coderabbit-nudge #954: Scheduled
7s main
main
7s
coderabbit-nudge coderabbit-nudge #953: Scheduled
6s main
main
6s
coderabbit-nudge coderabbit-nudge #952: Scheduled
9s main
main
9s
coderabbit-nudge coderabbit-nudge #951: Scheduled
10s main
main
10s
formal-p037-gate formal-p037-gate #37: Scheduled
14m 46s main
main
14m 46s
coderabbit-nudge coderabbit-nudge #950: Scheduled
7s main
main
7s
Research: Angie/SMG-inspired abstract object graph and sound ownership-state joins (bounded spike) pr-issue-validation #989: Issue #449 opened by PhysShell
9s
9s
Research: requirements-to-code conformance checking (BDD + reviewed formal contracts + OwnIR evidence) pr-issue-validation #988: Issue #448 opened by PhysShell
10s
10s
Research: FeaVer/Ultimate-style property-guided model extraction and source-level witnesses (bounded spike) pr-issue-validation #987: Issue #447 opened by PhysShell
12s
12s
Research: evaluate BAIT Büchi inclusion and antichain fixpoints for temporal ownership protocols (bounded spike) pr-issue-validation #986: Issue #446 opened by PhysShell
8s
8s
Research: FORVES2-style conditional semantic validation and proof-assumption audit for OwnIR pr-issue-validation #985: Issue #445 opened by PhysShell
10s
10s
Research: evaluate LLZK dataflow lattices, SourceRef and IR validators pr-issue-validation #984: Issue #444 opened by PhysShell
11s
11s
coderabbit-nudge coderabbit-nudge #949: Scheduled
8s main
main
8s
coderabbit-nudge coderabbit-nudge #948: Scheduled
10s main
main
10s
coderabbit-nudge coderabbit-nudge #947: Scheduled
11s main
main
11s
Research: Tai-e-inspired semantic fact assertions and selective precision (bounded spike) pr-issue-validation #983: Issue #443 opened by PhysShell
11s
11s
Research: contrastive positive/negative C# ownership challenge corpus (micro_service_seclab-inspired) pr-issue-validation #982: Issue #442 opened by PhysShell
12s
12s
Research: Wa wire IR / ARC lowering for explicit ownership events in OwnIR pr-issue-validation #981: Issue #441 opened by PhysShell
9s
9s
coderabbit-nudge coderabbit-nudge #946: Scheduled
7s main
main
7s
Research: evidence-guided candidate ranking for Own.NET analyzer fixes (LoopRepair prior art) pr-issue-validation #980: Issue #440 opened by PhysShell
11s
11s
Research: TikNib-inspired interpretable feature-delta triage for OwnIR regressions (bounded spike) pr-issue-validation #979: Issue #439 opened by PhysShell
11s
11s
Research: SPDS field-stack reachability for ownership aliasing (bounded spike) pr-issue-validation #978: Issue #438 opened by PhysShell
12s
12s