All workflows

Workflow runs

• ownership-lab H-24: admissibility census scripts and outputs (fixture…

  failed:
  CI#2413:Commit337ca30pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Oct 1, 202611m 41s
  More actions for workflow run 2413

• ownership-lab H-24: admissibility census scripts and outputs (fixture…

  failed:
  CI#2412:Commit337ca30pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Oct 1, 202612m 11s
  More actions for workflow run 2412

• ownership-lab H-24: census-only admissibility seam (OWEN_H24_CENSUS=<…

  failed:
  CI#2411:Commitcbe2fcapushedbyPhysShell
  research/ownership-semantics-lab-v1

  Oct 1, 202613m 16s
  More actions for workflow run 2411

• ownership-lab H-24: census-only admissibility seam (OWEN_H24_CENSUS=<…

  failed:
  CI#2410:Commitcbe2fcapushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Oct 1, 202611m 21s
  More actions for workflow run 2410

• ownership-lab H-24: the restricted single-obligation merge fixture (P…

  failed:
  CI#2409:Commita2aacd2pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Oct 1, 202613m 16s
  More actions for workflow run 2409

• ownership-lab H-24: the restricted single-obligation merge fixture (P…

  failed:
  CI#2408:Commita2aacd2pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Oct 1, 202619m 46s
  More actions for workflow run 2408

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#835:Scheduled
  main

  Sep 30, 20267s
  More actions for workflow run 835

• ownership-lab H-23A population: census / re-census / scan scripts and…

  failed:
  CI#2406:Commitf309459pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202613m 36s
  More actions for workflow run 2406

• ownership-lab H-23A population: census / re-census / scan scripts and…

  failed:
  CI#2407:Commitf309459pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202612m 57s
  More actions for workflow run 2407

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#834:Scheduled
  main

  Sep 30, 202612s
  More actions for workflow run 834

• ownership-lab H-23A population kill 1: a nested write is excluded fai…

  failed:
  CI#2405:Commite552a53pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202613m 53s
  More actions for workflow run 2405

• ownership-lab H-23A population kill 1: a nested write is excluded fai…

  failed:
  CI#2404:Commite552a53pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202612m 55s
  More actions for workflow run 2404

• ownership-lab H-23A: call-site enrollment seam (OWEN_H23A=1; versione…

  failed:
  CI#2403:Commitaf92d7dpushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202613m 13s
  More actions for workflow run 2403

• ownership-lab H-23A: call-site enrollment seam (OWEN_H23A=1; versione…

  failed:
  CI#2402:Commitaf92d7dpushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202611m 6s
  More actions for workflow run 2402

• ownership-lab: semantic-coverage results (census, freeze inputs, OFF/…

  failed:
  CI#2401:Commitcaf87e2pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202615m 8s
  More actions for workflow run 2401

• ownership-lab: semantic-coverage results (census, freeze inputs, OFF/…

  failed:
  CI#2400:Commitcaf87e2pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202611m 16s
  More actions for workflow run 2400

• ownership-lab: semantic-coverage Stage E scripts (census with version…

  failed:
  CI#2399:Commit11a23fdpushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202614m 33s
  More actions for workflow run 2399

• ownership-lab: semantic-coverage Stage E scripts (census with version…

  failed:
  CI#2398:Commit11a23fdpushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202612m 29s
  More actions for workflow run 2398

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#833:Scheduled
  main

  Sep 30, 20269s
  More actions for workflow run 833

• ownership-lab: semantic-coverage Stage C/D scripts and the witness ge…

  failed:
  CI#2397:Commit7919441pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202613m 26s
  More actions for workflow run 2397

• ownership-lab: semantic-coverage Stage C/D scripts and the witness ge…

  failed:
  CI#2396:Commit7919441pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 202612m 53s
  More actions for workflow run 2396

• ownership-semantics-lab: opt-in oracle hit log (OWEN_RE_ORACLE_HITLOG…

  failed:
  CI#2395:Commit87feda1pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202613m 53s
  More actions for workflow run 2395

• ownership-semantics-lab: opt-in oracle hit log (OWEN_RE_ORACLE_HITLOG…

  failed:
  CI#2394:Commit87feda1pushedbyPhysShell
  research/ownership-semantics-lab-v1

  Sep 30, 20269m 53s
  More actions for workflow run 2394

• formal-p037-gate

  completed successfully:
  formal-p037-gate#12:Scheduled
  main

  Sep 30, 202613m 50s
  More actions for workflow run 12

• ownership-semantics-lab: CT results (census, Gate 0, validation, IL-h…

  failed:
  CI#2393:Commit5e48f53pushedbyPhysShell
  ccr-73cdecbf-0qsiyu

  Sep 30, 202615m 8s
  More actions for workflow run 2393