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
ownership-lab H-28: census artefacts (per-consumer census files gzipp… CI #2442: Commit 7a13f35 pushed by PhysShell
7m 35s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
7m 35s
formal-p037-gate formal-p037-gate #13: Scheduled
15m 28s main
main
15m 28s
ownership-lab H-28: the census record carries the enclosing method's … CI #2441: Commit 705c74e pushed by PhysShell
19m 43s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
19m 43s
ownership-lab H-28: the census record carries the enclosing method's … CI #2440: Commit 705c74e pushed by PhysShell
15m 11s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
15m 11s
ownership-lab H-28: census-only argument-pass seam (OWEN_H28_CENSUS, … CI #2439: Commit 8e780c3 pushed by PhysShell
18m 40s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
18m 40s
ownership-lab H-28: census-only argument-pass seam (OWEN_H28_CENSUS, … CI #2438: Commit 8e780c3 pushed by PhysShell
10m 44s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
10m 44s
ownership-lab H-27 step 4: census artefacts (per-consumer step-4 cens… CI #2437: Commit c581725 pushed by PhysShell
20m 6s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
20m 6s
ownership-lab H-27 step 4: census artefacts (per-consumer step-4 cens… CI #2436: Commit c581725 pushed by PhysShell
16m 4s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
16m 4s
ownership-lab H-27 step 4: census-only owned-handle seam (OWEN_H27_CE… CI #2435: Commit 22908d2 pushed by PhysShell
16m 46s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
16m 46s
ownership-lab H-27 step 4: census-only owned-handle seam (OWEN_H27_CE… CI #2434: Commit 22908d2 pushed by PhysShell
12m 39s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
12m 39s
ownership-lab H-26B: census artefacts (per-consumer census files gzip… CI #2433: Commit affbf12 pushed by PhysShell
14m 18s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
14m 18s
ownership-lab H-26B: census artefacts (per-consumer census files gzip… CI #2432: Commit affbf12 pushed by PhysShell
18m 41s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
18m 41s
ownership-lab H-26B: census seam uses the declaring file's semantic m… CI #2431: Commit 62eac7c pushed by PhysShell
20m 41s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
20m 41s
ownership-lab H-26B: census seam uses the declaring file's semantic m… CI #2430: Commit 62eac7c pushed by PhysShell
18m 0s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
18m 0s
ownership-lab H-26B: the provenance fixture (nine receiver provenance… CI #2429: Commit 5ec55ed pushed by PhysShell
35m 1s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
35m 1s
ownership-lab H-26B: the provenance fixture (nine receiver provenance… CI #2428: Commit 5ec55ed pushed by PhysShell
34m 3s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
34m 3s
ownership-lab H-26B / H-27: census-only resolvability seam (OWEN_H26B… CI #2427: Commit 9358672 pushed by PhysShell
26m 54s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
26m 54s
ownership-lab H-26B / H-27: census-only resolvability seam (OWEN_H26B… CI #2426: Commit 9358672 pushed by PhysShell
27m 7s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
27m 7s
ownership-lab: census witness key made composite (callable, pass id) … CI #2425: Commit c0356df pushed by PhysShell
30m 47s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
30m 47s
ownership-lab: census witness key made composite (callable, pass id) … CI #2424: Commit c0356df pushed by PhysShell
30m 17s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
30m 17s
ownership-lab H-25 probe: OFF versus ON scan outputs over 8 consumers… CI #2423: Commit 23d04fd pushed by PhysShell
15m 59s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
15m 59s
ownership-lab H-25 probe: OFF versus ON scan outputs over 8 consumers… CI #2422: Commit 23d04fd pushed by PhysShell
8m 13s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
8m 13s
coderabbit-nudge coderabbit-nudge #836: Scheduled
7s main
main
7s
ownership-lab H-25 probe: OWEN_H25=1 makes the oracle predicate see t… CI #2421: Commit 8b921a1 pushed by PhysShell
14m 49s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
14m 49s
ownership-lab H-25 probe: OWEN_H25=1 makes the oracle predicate see t… CI #2420: Commit 8b921a1 pushed by PhysShell
11m 24s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
11m 24s
ProTip! You can narrow down the results and go further in time using created:<2026-10-01 or the other filters available.