Repository navigation

ci(release): run on push to main and deploy the released head - #153

Merged

musingfox merged 4 commits into

mainfrom

deploy-after-release-in-ci

Nov 3, 2026

Merged

ci(release): run on push to main and deploy the released head#153
musingfox merged 4 commits into
mainfrom
deploy-after-release-in-ci

Commits on Nov 3, 2026
- ci(release): run on push to main and deploy the released head
  
  musingfox
  and
  claude
  committed
  95198f2
- fix(trial): read production's last deploy from either deploy path
  
  musingfox
  and
  claude
  committed
  30fa935
- docs(decisions): record ADR 0024, a push to main releases and deploys
  
  musingfox
  and
  claude
  committed
  6479ee3
- docs: say a push to main releases and deploys production
  
  musingfox
  and
  claude
  committed
  996037b