Repository navigation

fix(deploy): containment stopgap for api.nesy-prover.dev - #461

Merged

hyperpolymath merged 5 commits into

mainfrom

claude/zen-brahmagupta-opqqle

Nov 5, 2026

Merged

fix(deploy): containment stopgap for api.nesy-prover.dev#461
hyperpolymath merged 5 commits into
mainfrom
claude/zen-brahmagupta-opqqle

Commits on Nov 5, 2026
- fix(deploy): containment stopgap for api.nesy-prover.dev
  claude
  committed
  9a7a0bd
- fix(deploy): keep the rate limit on the stopgap routes; harden the runbook
  claude
  committed
  b3af878
- Update deploy/hetzner/README.adoc
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  cdca71c
- Update deploy/hetzner/README.adoc
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  55877bd
- Merge branch 'main' into claude/zen-brahmagupta-opqqle
  hyperpolymath
  authored
  7186ae9