All workflows

Workflow runs

• Formal mutations

  currently running:
  Formal mutations#3:Scheduled
  main

  Oct 18, 2026In progress
  More actions for workflow run 3

• Fuzz

  completed successfully:
  Fuzz#99:Scheduled
  main

  Oct 18, 20261h 28m 23s
  More actions for workflow run 99

• Fuzz

  completed successfully:
  Fuzz#98:Scheduled
  main

  Oct 18, 202633m 5s
  More actions for workflow run 98

• Fuzz

  completed successfully:
  Fuzz#97:Scheduled
  main

  Oct 17, 202633m 2s
  More actions for workflow run 97

• Formal artifact updater

  completed successfully:
  Formal artifact updater#789:completedbybordumb
  Oct 17, 20269s
  More actions for workflow run 789

• Formal artifact updater

  completed successfully:
  Formal artifact updater#788:completedbybordumb
  Oct 17, 20267s
  More actions for workflow run 788

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Recipe qualification#119:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20263m 52s
  More actions for workflow run 119

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Gateway operator package#131:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 12s
  More actions for workflow run 131

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  TypeScript SDK package#515:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20268m 46s
  More actions for workflow run 515

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Stripe gateway demo#55:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20267m 32s
  More actions for workflow run 55

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Airtable gateway demo#52:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20267m 51s
  More actions for workflow run 52

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  PostgreSQL lifecycle qualification#291:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 53s
  More actions for workflow run 291

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Gateway isolation#257:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20263m 24s
  More actions for workflow run 257

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Python SDK package#646:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20268m 38s
  More actions for workflow run 646

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  SDK outcome recipes#728:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 44s
  More actions for workflow run 728

• feat(formal): extend source-linked authorization assurance

  failed:
  CI#1081:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 202625m 35s
  More actions for workflow run 1081

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  SDK outcome recipes#727:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 33s
  More actions for workflow run 727

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Stripe gateway demo#54:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20266m 40s
  More actions for workflow run 54

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Gateway isolation#256:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 7s
  More actions for workflow run 256

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  PostgreSQL lifecycle qualification#290:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20264m 20s
  More actions for workflow run 290

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Python SDK package#645:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20268m 20s
  More actions for workflow run 645

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Airtable gateway demo#51:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20265m 27s
  More actions for workflow run 51

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  TypeScript SDK package#514:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20267m 15s
  More actions for workflow run 514

• feat(formal): extend source-linked authorization assurance

  cancelled:
  CI#1080:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 202615m 54s
  More actions for workflow run 1080

• feat(formal): extend source-linked authorization assurance

  completed successfully:
  Gateway operator package#130:Pull request#209synchronizebybordumb
  codex/lean-enhancements

  Oct 17, 20265m 17s
  More actions for workflow run 130