Repository navigation

sync: upstream pstack 4ec7ffa, plus fixes from forks and upstream PRs - #25

Merged

AlexNegrescu26 merged 14 commits into

mainfrom

fix/sync-4ec7ffa-fork-pr-adoption

Oct 22, 2026

Merged

sync: upstream pstack 4ec7ffa, plus fixes from forks and upstream PRs#25
AlexNegrescu26 merged 14 commits into
mainfrom
fix/sync-4ec7ffa-fork-pr-adoption

Commits on Oct 22, 2026
- fix(port): refresh translations for upstream eb4db2b
  raphaelnz
  committed
  ae9bf7f
- sync: build upstream pstack eb4db2b (0.15.30)
  raphaelnz
  committed
  4b7d1ec
- fix(port): stop carrying the Agent Plugins manifest
  raphaelnz
  committed
  ef7a1fc
- sync: build upstream pstack 4ec7ffa (0.15.30)
  AlexNegrescu26
  committed
  212cf6d
- fix(port): carry upstream setup step 8 (formal verification offer) into the owned setup-pstack
  AlexNegrescu26
  committed
  d516cdd
- slice c
  AlexNegrescu26
  committed
  27cbeb3
- slice a
  AlexNegrescu26
  committed
  337d43a
- slice d
  AlexNegrescu26
  committed
  8148e2b
- slice b
  AlexNegrescu26
  committed
  6dd7f41
- Merge branch 'slice/c' into sync/upstream-4ec7ffa-draft
  AlexNegrescu26
  committed
  fdae672
- Merge branch 'slice/d' into sync/upstream-4ec7ffa-draft
  AlexNegrescu26
  committed
  99809b8
- Merge branch 'slice/b' into sync/upstream-4ec7ffa-draft
  AlexNegrescu26
  committed
  70b0f5a
- fix(port): carry hold-unpushed and no-rm-rf cleanup rules, retire stale patch note
  AlexNegrescu26
  committed
  0c172be
- Merge remote-tracking branch 'origin/main' into fix/sync-4ec7ffa-fork-pr-adoption
  AlexNegrescu26
  committed
  1b03e48