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-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
ownership-lab H-25: await census outputs over 8 consumers / 772 units… CI #2419: Commit 56b9ba9 pushed by PhysShell
12m 22s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
12m 22s
ownership-lab H-25: await census outputs over 8 consumers / 772 units… CI #2418: Commit 56b9ba9 pushed by PhysShell
11m 39s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
11m 39s
ownership-lab H-25: census-only await-wrapped acquire seam (OWEN_H25_… CI #2417: Commit b8a112f pushed by PhysShell
21m 14s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
21m 14s
ownership-lab H-25: census-only await-wrapped acquire seam (OWEN_H25_… CI #2416: Commit b8a112f pushed by PhysShell
18m 26s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
18m 26s
ownership-lab H-25: the await-wrapped acquire fixture (positive forms… CI #2415: Commit 52fc2c7 pushed by PhysShell
18m 46s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
18m 46s
ownership-lab H-25: the await-wrapped acquire fixture (positive forms… CI #2414: Commit 52fc2c7 pushed by PhysShell
18m 39s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
18m 39s
ownership-lab H-24: admissibility census scripts and outputs (fixture… CI #2413: Commit 337ca30 pushed by PhysShell
11m 41s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
11m 41s