All workflows

Workflow runs

• Research: AI-assisted ownership-analysis setup with auditable assumptions (TrustInSoft / Microsoft)

  completed successfully:
  pr-issue-validation#993:Issue#452openedbyPhysShell
  Nov 1, 202612s
  More actions for workflow run 993

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#983:Scheduled
  main

  Nov 1, 20268s
  More actions for workflow run 983

• formal-p037-gate

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

  Nov 1, 202613m 58s
  More actions for workflow run 44

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#982:Scheduled
  main

  Nov 1, 20269s
  More actions for workflow run 982

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#981:Scheduled
  main

  Nov 1, 202611s
  More actions for workflow run 981

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#980:Scheduled
  main

  Oct 31, 20269s
  More actions for workflow run 980

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#979:Scheduled
  main

  Oct 31, 20268s
  More actions for workflow run 979

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#978:Scheduled
  main

  Oct 31, 20268s
  More actions for workflow run 978

• formal-p037-gate

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

  Oct 31, 20269m 2s
  More actions for workflow run 43

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#977:Scheduled
  main

  Oct 31, 20268s
  More actions for workflow run 977

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#976:Scheduled
  main

  Oct 30, 20267s
  More actions for workflow run 976

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#975:Scheduled
  main

  Oct 30, 202610s
  More actions for workflow run 975

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#974:Scheduled
  main

  Oct 30, 202611s
  More actions for workflow run 974

• formal-p037-gate

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

  Oct 30, 202613m 17s
  More actions for workflow run 42

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#973:Scheduled
  main

  Oct 30, 202611s
  More actions for workflow run 973

• Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle)

  completed successfully:
  pr-issue-validation#992:Issue#451editedbyPhysShell
  Oct 30, 202612s
  More actions for workflow run 992

• Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle)

  completed successfully:
  pr-issue-validation#991:Issue#451openedbyPhysShell
  Oct 30, 20269s
  More actions for workflow run 991

• Research: map domain-theoretic fixed-point assumptions to Own.NET's ownership analysis

  completed successfully:
  pr-issue-validation#990:Issue#450openedbyPhysShell
  Oct 30, 202611s
  More actions for workflow run 990

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#972:Scheduled
  main

  Oct 30, 202611s
  More actions for workflow run 972

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#971:Scheduled
  main

  Oct 29, 20269s
  More actions for workflow run 971

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#970:Scheduled
  main

  Oct 29, 202611s
  More actions for workflow run 970

• formal-p037-gate

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

  Oct 29, 202613m 57s
  More actions for workflow run 41

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#969:Scheduled
  main

  Oct 29, 202612s
  More actions for workflow run 969

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#968:Scheduled
  main

  Oct 29, 202610s
  More actions for workflow run 968

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#967:Scheduled
  main

  Oct 28, 202612s
  More actions for workflow run 967