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
coderabbit-nudge coderabbit-nudge #782: Scheduled
9s main
main
9s
formal-p037-gate formal-p037-gate #2: Scheduled
15m 3s main
main
15m 3s
P-037 A2.2-S tooling hardening: one command, transactional evidence, … CI #2218: Commit 3f6d01c pushed by PhysShell
16m 32s claude/p037-a2.2
claude/p037-a2.2
16m 32s
P-037 A2.2-S: the governed cumulative measurement, one command, rehea… CI #2217: Commit d368931 pushed by PhysShell
12m 24s claude/p037-a2.2
claude/p037-a2.2
12m 24s
coderabbit-nudge coderabbit-nudge #781: Scheduled
6s main
main
6s
coderabbit-nudge coderabbit-nudge #780: Scheduled
54s main
main
54s
coderabbit-nudge coderabbit-nudge #779: Scheduled
7s main
main
7s
P-037 A2.2-5: the mutation campaign against the completeness oracle CI #2216: Commit dab3db1 pushed by PhysShell
15m 24s claude/p037-a2.2
claude/p037-a2.2
15m 24s
P-037 A2.2-4R-fix: the repository-fact counts in §10.6.10 catch up wi… CI #2215: Commit 27aadf2 pushed by PhysShell
15m 35s claude/p037-a2.2
claude/p037-a2.2
15m 35s
coderabbit-nudge coderabbit-nudge #778: Scheduled
10s main
main
10s
P-037 A2.2-4R6b: F-MEMBER repaired; the member bodies the legacy pass… CI #2214: Commit a8b2b05 pushed by PhysShell
10m 39s claude/p037-a2.2
claude/p037-a2.2
10m 39s
P-037 A2.2-4R6a: two more F-MEMBER witnesses, pinned RED before the r… CI #2213: Commit 63810bb pushed by PhysShell
13m 19s claude/p037-a2.2
claude/p037-a2.2
13m 19s
P-037 A2.2-4R5: a constructor initializer is a call site of its own (… CI #2212: Commit bfb859d pushed by PhysShell
13m 43s claude/p037-a2.2
claude/p037-a2.2
13m 43s
P-037 A2.2-4R4: the F-VOCAB ruling; predicate_result, interpolation_h… CI #2211: Commit b2aa766 pushed by PhysShell
12m 50s claude/p037-a2.2
claude/p037-a2.2
12m 50s
P-037 A2.2-4R3: F-CONDITIONAL-RECEIVER repaired; a reduced receiver u… CI #2210: Commit 947d6c3 pushed by PhysShell
9m 46s claude/p037-a2.2
claude/p037-a2.2
9m 46s
P-037 A2.2-4R2: F-PARAMS-ELEMENT repaired; an expanded params element… CI #2209: Commit 07bb106 pushed by PhysShell
12m 19s claude/p037-a2.2
claude/p037-a2.2
12m 19s
P-037 A2.2-4R1: F-SHADOW repaired; the guarded-fact handle set is key… CI #2208: Commit 8e693ba pushed by PhysShell
14m 35s claude/p037-a2.2
claude/p037-a2.2
14m 35s
coderabbit-nudge coderabbit-nudge #777: Scheduled
6s main
main
6s
P-037 A2.2-4: the completeness oracle and the generated hostile censu… CI #2207: Commit 3e6904e pushed by PhysShell
10m 0s claude/p037-a2.2
claude/p037-a2.2
10m 0s
P-037 A2.2-3P-fix2: remove the stale "validated by both doors" claim … CI #2206: Commit 80cd9aa pushed by PhysShell
11m 6s claude/p037-a2.2
claude/p037-a2.2
11m 6s
P-037 A2.2-3P-fix: repair the ownir_version producer pin and the orph… CI #2205: Commit e79b165 pushed by PhysShell
10m 6s claude/p037-a2.2
claude/p037-a2.2
10m 6s
P-037 A2.2-3P: the guarded_functions[] orphan carrier, production side CI #2204: Commit 3ffd9d7 pushed by PhysShell
11m 12s claude/p037-a2.2
claude/p037-a2.2
11m 12s
P-037 A2.2-2b: delegate invocation is a call site of its own (call_ki… CI #2203: Commit 7de7a6f pushed by PhysShell
7m 48s claude/p037-a2.2
claude/p037-a2.2
7m 48s
coderabbit-nudge coderabbit-nudge #776: Scheduled
7s main
main
7s
P-037 A2.2-2: constructor calls are call sites of their own (call_kin… CI #2202: Commit 376f2e6 pushed by PhysShell
8m 49s claude/p037-a2.2
claude/p037-a2.2
8m 49s