Repository navigation

Update npm/registry dependencies - #805

Merged

thomashoneyman merged 3 commits into

dependency-upgrades-2026-10

Oct 11, 2026

Merged

Update npm/registry dependencies#805
thomashoneyman merged 3 commits into
masterfrom
dependency-upgrades-2026-10

Commits on Oct 11, 2026
- Upgrade npm dependencies and PureScript package set
  thomashoneyman
  authored
  2513347
- Apply dependency upgrade review feedback
  thomashoneyman
  authored
  c5dd12e
- Reject YAML aliases in registry manifests
  thomashoneyman
  authored
  d90dc1f