All pull requests

Pull requests

• chore: bump github/codeql-action from 4.39.0 to 4.39.1 in the github-actions group

  dependenciesgithub_actions
  #3268·dependabot[bot] opened Oct 30, 2026Bot·

  ·

• docs(user_guide): IDE support: add strictdoc.nvim Neovim plugin

  #3265·awschult002 opened Oct 29, 2026·

  ·

• chore(backend/sdoc_source_code): bump tree-sitter-ada to 0.9.1

  #3264·awschult002 opened Oct 26, 2026·

  ·

• chore: bump setuptools from 84.0.0 to 84.1.0

  dependenciespython:uv
  #3263·dependabot[bot] opened Oct 23, 2026Bot·

  ·

• chore: bump pypdf from 6.16.1 to 6.21.2

  dependenciespython:uv
  #3262·dependabot[bot] opened Oct 23, 2026Bot·

  ·

• feat(backend/sdoc_source_code): Ada source reader

  #3261·awschult002 opened Oct 22, 2026·

  ·

• Add stand-alone pyinstaller, and related fixes

  #3242·awschult002 opened Oct 17, 2026·

  ·
  1

• Feature: HTML table editor

  #3241·RenaudMuller opened Oct 16, 2026·

  ·
  

• Fix: restrict Clone to regular non-composite nodes

  #3236·mettta opened Oct 11, 2026Collaborator·

  ·
  1

• [ON HOLD] fix(forms): clear stale validation errors on resubmit

  #3219·mettta opened Sep 18, 2026Collaborator·

  ·

• feat(project-configuration): add read-only Project configuration page

  #3167·mettta opened Sep 1, 2026Collaborator·

  ·
  15

• [DRAFT] feat: add ability to commit to Git and resolve conflicts from the user interface

  #3103·stanislaw opened Aug 14, 2026Collaborator·

  ·
  1

• feat(traceability): preserve verification result provenance

  #3088·LunaMeerkats opened Aug 6, 2026Contributor·

  ·
  1

• Feat/missing relation requirements

  #2926·claudiiolima opened Jun 18, 2026Contributor·

  ·
  8

• fix: Disable actions on autogenerated docs/nodes

  #2766·thseiler opened Apr 8, 2026Contributor·

  ·
  4