All workflows

Workflow runs

• CodeQL

  failed:
  CodeQL#137:Scheduled
  main

  Oct 27, 20265s
  More actions for workflow run 137

• CodeQL

  failed:
  CodeQL#136:Scheduled
  main

  Oct 20, 20264s
  More actions for workflow run 136

• CodeQL

  failed:
  CodeQL#135:Scheduled
  main

  Oct 13, 20264s
  More actions for workflow run 135

• Publish public proof badge

  skipped:
  Publish public proof badge#253:completedbyIamAngusU
  Oct 7, 20261s
  More actions for workflow run 253

• Make bounded agent data flow explicit and profile-aware

  failed:
  CI#363:Pull request#147synchronizebyIamAngusU
  fix/agent-profile-classification

  Oct 7, 202614s
  More actions for workflow run 363

• Make bounded agent data flow explicit and profile-aware

  failed:
  CodeQL#134:Pull request#147synchronizebyIamAngusU
  fix/agent-profile-classification

  Oct 7, 20264s
  More actions for workflow run 134

• CodeQL

  failed:
  CodeQL#133:Scheduled
  main

  Oct 6, 20264s
  More actions for workflow run 133

• Publish public proof badge

  skipped:
  Publish public proof badge#252:completedbyIamAngusU
  Oct 5, 20261s
  More actions for workflow run 252

• Fix mixed decimal notation in local calculator requests

  failed:
  CodeQL#132:Pull request#148openedbyIamAngusU
  fix/local-calculator-decimals

  Oct 5, 20265s
  More actions for workflow run 132

• Fix mixed decimal notation in local calculator requests

  failed:
  CI#362:Pull request#148openedbyIamAngusU
  fix/local-calculator-decimals

  Oct 5, 202612s
  More actions for workflow run 362

• Publish public proof badge

  skipped:
  Publish public proof badge#251:completedbyIamAngusU
  Oct 5, 20261s
  More actions for workflow run 251

• Make bounded agent data flow explicit and profile-aware

  failed:
  CI#361:Pull request#147synchronizebyIamAngusU
  fix/agent-profile-classification

  Oct 5, 20268s
  More actions for workflow run 361

• Make bounded agent data flow explicit and profile-aware

  failed:
  CodeQL#131:Pull request#147synchronizebyIamAngusU
  fix/agent-profile-classification

  Oct 5, 20264s
  More actions for workflow run 131

• Publish public proof badge

  skipped:
  Publish public proof badge#250:completedbyIamAngusU
  Oct 5, 20269s
  More actions for workflow run 250

• Make bounded agent data flow explicit and profile-aware

  failed:
  CodeQL#130:Pull request#147openedbyIamAngusU
  fix/agent-profile-classification

  Oct 5, 20264s
  More actions for workflow run 130

• Make bounded agent data flow explicit and profile-aware

  failed:
  CI#360:Pull request#147openedbyIamAngusU
  fix/agent-profile-classification

  Oct 5, 202610s
  More actions for workflow run 360

• Publish public proof badge

  skipped:
  Publish public proof badge#249:completedbyIamAngusU
  Oct 4, 20261s
  More actions for workflow run 249

• Accept strict adapter objects in unapproved agent proposals (#146)

  failed:
  CI#359:Commit8c1f941pushedbyIamAngusU
  main

  Oct 4, 202641s
  More actions for workflow run 359

• Accept strict adapter objects in unapproved agent proposals (#146)

  failed:
  CodeQL#129:Commit8c1f941pushedbyIamAngusU
  main

  Oct 4, 20264s
  More actions for workflow run 129

• Publish public proof badge

  skipped:
  Publish public proof badge#248:completedbyIamAngusU
  Oct 4, 20261s
  More actions for workflow run 248

• Normalize structured adapter proposals before approval

  failed:
  CI#358:Pull request#146openedbyIamAngusU
  fix/agent-structured-tool-instructions

  Oct 4, 202612s
  More actions for workflow run 358

• Normalize structured adapter proposals before approval

  failed:
  CodeQL#128:Pull request#146openedbyIamAngusU
  fix/agent-structured-tool-instructions

  Oct 4, 20264s
  More actions for workflow run 128

• Publish public proof badge

  skipped:
  Publish public proof badge#247:completedbyIamAngusU
  Oct 4, 20261s
  More actions for workflow run 247

• Verified arithmetic tools and per-step agent confirmations (#145)

  failed:
  CI#357:Commit2c5ccc3pushedbyIamAngusU
  main

  Oct 4, 202611s
  More actions for workflow run 357

• Verified arithmetic tools and per-step agent confirmations (#145)

  failed:
  CodeQL#127:Commit2c5ccc3pushedbyIamAngusU
  main

  Oct 4, 20264s
  More actions for workflow run 127