All pull requests

Pull requests

• fix(build): avoid invalidating Cargo on generated OUT_DIR inputs

  #318·davidabram opened Oct 10, 2026Member·11/11·

  ·

• perf(nix): reduce test-profile dependency artifact sizes

  #317·davidabram opened Oct 10, 2026Member·10/11·

  ·

• perf(nix): omit Turso FFI artifacts in test builds

  #316·davidabram opened Oct 10, 2026Member·9/11·

  ·

• perf(nix): prepare dev dependencies in Crane test artifacts

  #315·davidabram opened Oct 10, 2026Member·8/11·

  ·

• ci(nix): record flake, build, and smoke timings in job summaries

  #311·davidabram opened Oct 9, 2026Member·7/11·

  ·

• ci(nix): reuse macOS release build for CLI smoke validation

  #310·davidabram opened Oct 9, 2026Member·6/11·

  ·

• ci(quint): run spec verification without recompiling Rust MBT

  #309·davidabram opened Oct 9, 2026Member·5/11·

  ·

• perf(nix): speed up Rust checks and deduplicate Quint MBT

  #308·davidabram opened Oct 9, 2026Member·4/11·

  ·

• OpenTelemetry tracing for the CLI

  #306·davidabram opened Oct 9, 2026Member·

  ·

• mutation-cursor reconciliation wiring

  #305·davidabram opened Oct 8, 2026Member·3/11·

  ·

• observability log lock striping

  #304·davidabram opened Oct 8, 2026Member·2/11·

  ·

• cleanup

  #303·davidabram opened Oct 8, 2026Member·1/11·

  ·

• remove tokio db runtimes

  #301·davidabram opened Oct 7, 2026Member·

  ·

• single tokio runtime

  #300·davidabram opened Oct 7, 2026Member·

  ·

• build(deps): bump @types/node from 25.5.0 to 26.6.2 in /config/lib

  dependenciesjavascript
  #285·dependabot[bot] opened Sep 22, 2026Bot·

  ·

• build(deps): bump @types/bun from 1.3.11 to 1.4.2 in /config/lib

  dependenciesjavascript
  #281·dependabot[bot] opened Sep 14, 2026Bot·

  ·

• Add SCE context audit workflow

  0.4.1
  #262·davidabram opened Sep 4, 2026Member·

  ·

• build(deps): bump softprops/action-gh-release from 3.0.2 to 3.0.3

  dependenciesgithub_actions
  #252·dependabot[bot] opened Sep 1, 2026Bot·

  ·
  1

• build(deps): bump github/codeql-action/upload-sarif from 4.37.8 to 4.37.9

  dependenciesgithub_actions
  #251·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• build(deps): bump github/codeql-action/analyze from 4.36.2 to 4.37.9

  dependenciesgithub_actions
  #250·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• build(deps): bump github/codeql-action/autobuild from 4.36.2 to 4.37.9

  dependenciesgithub_actions
  #249·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• build(deps): bump github/codeql-action/init from 4.36.2 to 4.37.9

  dependenciesgithub_actions
  #248·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• build(deps): bump @earendil-works/pi-coding-agent from 0.80.6 to 0.84.2 in /config/lib

  dependenciesjavascript
  #217·dependabot[bot] opened Aug 18, 2026Bot·

  ·
  2

• build(deps): bump @opencode-ai/plugin from 1.15.4 to 1.18.18 in /config/lib

  dependenciesjavascript
  #209·dependabot[bot] opened Aug 17, 2026Bot·

  ·
  2

• Evals

  0.4.1
  #170·davidabram opened Jul 30, 2026Member·

  ·