promote: dev → main #114

Merged

admin_emi merged 1 commit from dev into main

2026-07-26 08:29:20 +00:00

Author	SHA1	Message	Date
emi	801c767115	dev: leave /healthz outside the basic-auth boundary (#113 ) All checks were successful Sync infra to hosts / sync-beta (push) Has been skipped Details shell-lint / shellcheck (push) Successful in 10s Details PR build (required check) / build-backend (pull_request) Has been skipped Details PR build (required check) / build-frontend (pull_request) Has been skipped Details PR build (required check) / gate (pull_request) Successful in 1s Details Sync infra to hosts / sync-prod (push) Has been skipped Details Sync infra to hosts / sync-dev (push) Successful in 6s Details secrets-guard / encrypted (push) Successful in 6s Details PR build (required check) / changes (pull_request) Successful in 5s Details secrets-guard / encrypted (pull_request) Successful in 5s Details shell-lint / shellcheck (pull_request) Successful in 8s Details PR build (required check) / validate-observability (pull_request) Has been skipped Details	2026-07-26 08:28:18 +00:00