All pull requests

Pull requests

• Add Koka as an option in formal-methods instructions

  #75267·pelikhan with CopilotAI opened Nov 6, 2026·

  ·
  

• Align lint and logs CLI options

  #75265·gh-aw-bot with CopilotAI opened Nov 6, 2026·

  ·
  1

  

• Test ZIP extraction limits against high-compression archives

  #75264·gh-aw-bot with CopilotAI opened Nov 6, 2026·

  ·
  1

  

• Clarify ai-moderator add-labels format

  #75263·gh-aw-bot with CopilotAI opened Nov 6, 2026·

  ·
  1

  

• Fix PR branch rejection for Copilot-review-only rulesets

  #75230·pelikhan opened Nov 5, 2026Collaborator·

  ·
  28

• Fix nested import resolution in workflow lock hashes

  #75226·pelikhan opened Nov 5, 2026Collaborator·

  ·
  16

• Reduce work-queue Git verification overhead

  #75216·pelikhan opened Nov 5, 2026Collaborator·

  ·
  32

• Add experimental Atomic declarative engine

  #75196·pelikhan opened Nov 5, 2026Collaborator·

  ·
  61

• [ca] chore: update Claude Code and Codex CLI pins

  automationcookiedependencies
  #75104·github-actions[bot] opened Nov 5, 2026Bot·

  ·
  25

• [WIP] Add support for outcome-backed metrics in experiments

  #74992·pelikhan with CopilotAI opened Nov 4, 2026·3 of 4 tasks·

  ·
  1

  21

  

• Show models powering auto in attribution footers

  #74985·davidslater opened Nov 4, 2026Collaborator·

  ·
  96

• Preserve cross-repository checkout identity during credential setup

  #74943·pelikhan with CopilotAI opened Nov 4, 2026·

  ·
  1

  38

  

• Preserve retry diagnostics in external threat-detection artifacts

  #74940·pelikhan with CopilotAI opened Nov 4, 2026·

  ·
  1

  16

  

• Support GitHub App authentication for repo-memory

  #74937·pelikhan with CopilotAI opened Nov 4, 2026·

  ·
  1

  51

  

• Add v1 observed execution Azure query pack

  #74893·pelikhan opened Nov 4, 2026Collaborator·

  ·

• Add declarative connectors and migrate native provider integrations

  #74077·pelikhan opened Nov 2, 2026Collaborator·

  ·
  114