All pull requests

Pull requests

• Chore(deps): bump leynos/shared-actions/.github/actions/setup-rust from 6cec89bac47a21cf756d68d638a9a510998e57f8 to 7d751eded578e48dacf43ab173d5820e6437c474

  dependenciesgithub-actions
  #631·dependabot[bot] opened Oct 5, 2026Bot·

  ·
  1

• Chore(deps): bump leynos/shared-actions/.github/actions/generate-coverage from 6cec89bac47a21cf756d68d638a9a510998e57f8 to 7d751eded578e48dacf43ab173d5820e6437c474

  dependenciesgithub-actions
  #630·dependabot[bot] opened Oct 5, 2026Bot·

  ·
  1

• Chore(deps): bump leynos/shared-actions/.github/actions/upload-codescene-coverage from 6cec89bac47a21cf756d68d638a9a510998e57f8 to 7d751eded578e48dacf43ab173d5820e6437c474

  dependenciesgithub-actions
  #628·dependabot[bot] opened Oct 5, 2026Bot·

  ·
  1

• Adopt the Rust build standard

  #597·leynos opened Sep 29, 2026Owner·

  ·
  27

• Proof: fence transition kernel and LEM-FENCE-NORMALIZATION-PRESERVES-REGIONS (#486)

  Issue
  #588·leynos opened Sep 28, 2026Owner·

  ·
  1

  24

• Preserve unspaced inline code seams

  #556·leynos opened Sep 24, 2026Owner·3/11·

  ·
  8

• Inject conflict Git-directory fixture

  #555·leynos opened Sep 24, 2026Owner·

  ·
  5

• Guard thematic-break test access

  Issue
  #554·leynos opened Sep 24, 2026Owner·

  ·
  5

• Guard ellipsis spans without extra allocations

  Issue
  #553·leynos opened Sep 24, 2026Owner·

  ·
  5

• Isolate inline token span classification

  Issue
  #552·leynos opened Sep 24, 2026Owner·

  ·
  9

• Guard inline wrapping token and line access

  Issue
  #551·leynos opened Sep 24, 2026Owner·

  ·
  5

• Guard footnote indexing and slices

  Issue
  #550·leynos opened Sep 24, 2026Owner·

  ·
  9

• Guard reflow row and width access

  #549·leynos opened Sep 24, 2026Owner·11/11·

  ·
  6

• Guard protected ellipsis span access

  Issue
  #548·leynos opened Sep 24, 2026Owner·10/11·

  ·
  6

• Guard code-span byte offsets before slicing

  Issue
  #547·leynos opened Sep 24, 2026Owner·9/11·

  ·
  11

• Guard tokenizer byte boundaries before slicing

  #546·leynos opened Sep 24, 2026Owner·8/11·

  ·
  6

• Use owned strings for borrowed string values

  #545·leynos opened Sep 24, 2026Owner·7/11·

  ·
  6

• Use checked frontmatter boundaries

  #544·leynos opened Sep 24, 2026Owner·6/11·

  ·
  6

• Use safe text-processing access in tests

  #543·leynos opened Sep 24, 2026Owner·5/11·

  ·
  8

• Replace unsafe test UID checks with rustix

  #542·leynos opened Sep 23, 2026Owner·4/11·

  ·
  10

• Document public APIs for strict rustdoc

  #541·leynos opened Sep 23, 2026Owner·2/11·

  ·
  6

• Extract oversized Rust test modules

  #540·leynos opened Sep 23, 2026Owner·1/11·

  ·
  24

• Move self-named Rust modules into mod.rs files

  #539·leynos opened Sep 23, 2026Owner·

  ·
  11

• Propagate Git fixture setup failures

  #538·leynos opened Sep 23, 2026Owner·

  ·
  8

• Normalize repository-owned spelling in test support

  #537·leynos opened Sep 23, 2026Owner·

  ·
  6