All pull requests

Pull requests

• Feat: integrate sphinx test reports plugin

  #855·MaximilianSoerenPollak opened Sep 23, 2026Contributor·

  ·
  7

• feat: link primary bundle Needs to Bazel targets

  #854·AlexanderLanin opened Sep 22, 2026Member·

  ·
  29

• chore(pip): bump the python group across 1 directory with 7 updates

  dependenciespython
  #852·dependabot[bot] opened Sep 22, 2026Bot·

  ·

• refactor: centralize Bazel path handling for docs builds

  #834·AlexanderLanin opened Sep 16, 2026Member·

  ·
  1

• add C0/C1 cov statistics

  #833·antonkri opened Sep 16, 2026Contributor·

  ·
  6

• feat!!!: add SCORE Tool Management HowTo and example

  #831·AlexanderLanin opened Sep 15, 2026Member·

  ·
  69

• feat: add agent context metamodel projection DO NOT MERGE!

  #826·FScholPer opened Sep 15, 2026Contributor·

  ·

• refactor: unify documentation CLI configuration

  #813·AlexanderLanin opened Sep 9, 2026Member·

  ·

• POC: add documentation delta reporting to PR checks

  #794·AlexanderLanin opened Sep 2, 2026Member·

  ·
  3

• Playground/bitmanipulation seooc lobster report

  #775·antonkri opened Aug 31, 2026Contributor·

  ·
  2

• feat(docs_and_test): Bazel macro chaining tests/coverage with docs build

  #759·antonkri opened Aug 26, 2026Contributor·

  ·
  2

• feat: explicitly package release

  #749·a-zw opened Aug 24, 2026Contributor·

  ·
  3

• refactor: drop dead BUILD_WORKSPACE_DIRECTORY fallback in needlinks

  #723·a-zw opened Aug 18, 2026Contributor·

  ·
  4

• fix: metrics.json could use more data

  needs-refinementquestion
  #722·Mr-Neutr0n opened Aug 17, 2026·

  ·
  1

  6

• Add library type to bundles

  keep-openstale
  #700·AlexanderLanin opened Aug 7, 2026Member·

  ·
  1

  3

• inspection record need type

  stale
  #661·FScholPer opened Jul 23, 2026Contributor·

  ·
  38

• feat(scripts_bazel): needs.json -> LOBSTER lobster-req-trace converter

  keep-open
  #654·FScholPer opened Jul 21, 2026Contributor·

  ·
  5

• Harness Proposal

  keep-open
  #628·FScholPer opened Jul 1, 2026Contributor·

  ·
  7

• chore(deps): bump starlette from 1.0.1 to 1.3.1 in /src

  dependenciespython
  #601·dependabot[bot] opened Jun 16, 2026Bot·

  ·
  7