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
Research: BugBug-inspired test-impact selection and shadow scheduler evaluation (bounded spike) pr-issue-validation #977: Issue #437 opened by PhysShell
11s
11s
Research: Fraunhofer CPG-inspired precision escalation and summary-aware soundness gates (bounded spike) pr-issue-validation #976: Issue #436 opened by PhysShell
12s
12s
Research: Graft-inspired derived dependency graph for ownership diagnostic explanations (bounded spike) pr-issue-validation #975: Issue #435 opened by PhysShell
11s
11s
Research: Heros-inspired IFDS/IDE feasibility for interprocedural ownership facts (bounded spike) pr-issue-validation #974: Issue #434 opened by PhysShell
8s
8s
Research: IKOS-inspired abstract-state soundness oracle and operator audit (bounded spike) pr-issue-validation #973: Issue #433 opened by PhysShell
9s
9s
Research: refactoring-aware metamorphic regression testing for ownership analysis (RefactoringMiner prior art) pr-issue-validation #972: Issue #432 opened by PhysShell
10s
10s
Research: COVA-inspired targeted path-condition oracle for ownership soundness (bounded spike) pr-issue-validation #971: Issue #431 opened by PhysShell
8s
8s
Research: SootUp-inspired OwnIR/ICFG semantic-fidelity and incomplete-call audit (bounded spike) pr-issue-validation #970: Issue #430 opened by PhysShell
11s
11s
Research: WALA-inspired demand-driven alias precision for ownership diagnostics (bounded spike) pr-issue-validation #969: Issue #429 opened by PhysShell
10s
10s
Research: fault-injection tests for CLI failure visibility and SARIF artifact integrity (bounded pilot) pr-issue-validation #968: Issue #428 opened by PhysShell
9s
9s
coderabbit-nudge coderabbit-nudge #945: Scheduled
8s main
main
8s
Research: semantic subgroup analysis for Own.NET diagnostic quality (bounded pilot) pr-issue-validation #967: Issue #427 opened by PhysShell
11s
11s
Research: evaluate Bifrost for C# code intelligence, agent navigation, and evidence contracts pr-issue-validation #966: Issue #426 opened by PhysShell
10s
10s
Research: OpenTaint-style contract tests and engine-gap triage for method-effect models pr-issue-validation #965: Issue #425 opened by PhysShell
20s
20s
formal-p037-gate formal-p037-gate #36: Scheduled
12m 21s main
main
12m 21s
coderabbit-nudge coderabbit-nudge #944: Scheduled
9s main
main
9s
coderabbit-nudge coderabbit-nudge #943: Scheduled
8s main
main
8s
coderabbit-nudge coderabbit-nudge #942: Scheduled
9s main
main
9s
coderabbit-nudge coderabbit-nudge #941: Scheduled
42s main
main
42s
C01-PRECISION-1: STATUS time line CI #2604: Commit 0ab104b pushed by PhysShell
8m 16s claude/c01-precision-1
claude/c01-precision-1
8m 16s
Research: evaluate Tabby-style stateful path pruning for bounded ownership diagnostics pr-issue-validation #964: Issue #424 opened by PhysShell
9s
9s
coderabbit-nudge coderabbit-nudge #940: Scheduled
10s main
main
10s
coderabbit-nudge coderabbit-nudge #939: Scheduled
10s main
main
10s
formal-p037-gate formal-p037-gate #35: Scheduled
14m 19s main
main
14m 19s
coderabbit-nudge coderabbit-nudge #938: Scheduled
7s main
main
7s