All pull requests

Pull requests

• fix(compilers/openapi): bound or remove quadratic key scans

  #774·OmarAlJarrah opened Oct 6, 2026Member·15 tasks done·

  ·
  6

• fix(compilers/openapi): keep the declarations that were dropped

  #741·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  1

  

• fix(irverify): tighten naming rules and quote messages

  #740·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  1

  

• fix(irverify): report a value pointer cycle

  #737·fuad-daoud opened Sep 30, 2026Collaborator·5 tasks done·

  ·
  1

  

• feat(ir)!: name a webhook binding's event

  #735·fuad-daoud opened Sep 30, 2026Collaborator·6 tasks done·

  ·

• feat(ir)!: state tuple openness and bounds from prefixItems

  #734·fuad-daoud opened Sep 30, 2026Collaborator·7 tasks done·

  ·

• fix(compilers/openapi): warn on a malformed path key

  #733·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  

• fix(compilers/openapi): record $self on the document's source

  #732·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  

• fix(compilers/openapi): classify media types case-insensitively

  #731·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  

• fix(compilers/openapi): map sized integer formats to primitives

  #728·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  

• fix(compilers/openapi): report an oauth2 scheme with no flow

  #727·fuad-daoud opened Sep 30, 2026Collaborator·8 tasks done·

  ·
  1

  

• fix(compilers/openapi): report duplicate server names

  #726·fuad-daoud opened Sep 30, 2026Collaborator·6 tasks done·

  ·
  

• fix(compilers/openapi): warn on allowReserved outside query

  #725·fuad-daoud opened Sep 30, 2026Collaborator·

  ·
  1

  

• fix(compilers/openapi): warn on a 3.0 array without items

  #724·fuad-daoud opened Sep 30, 2026Collaborator·7 tasks done·

  ·
  1

  

• fix(compilers/openapi): keep format: password at every position

  #592·fuad-daoud opened Sep 29, 2026Collaborator·

  ·
  1

  1

  

• fix(compilers/openapi): lower the fields beside a path item $ref

  #591·fuad-daoud opened Sep 29, 2026Collaborator·

  ·
  1

  1

  

• ci: retry a fuzz search that failed only on its own deadline

  #503·OmarAlJarrah opened Sep 24, 2026Member·2 of 3 tasks·

  ·
  1