Skip to content

infra: deploy script follow-ups from the #14 review - #19

Merged
devinder-dev merged 1 commit into
mainfrom
infra/deploy-followups
Oct 29, 2026
Merged

infra: deploy script follow-ups from the #14 review#19
devinder-dev merged 1 commit into
mainfrom
infra/deploy-followups

infra: wait longer for the deploy lock, end deploy_commit explicitly,…

69900e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar